Comuter Aided Design of Digital Systems: Logic Design

Catalog description

Computer aids for automatic logic design. Heuristic algorithms for single and multiple output, two-level and multiple-level logic minimization, logic synthesis, design verification, simulation and formal methods, hardware accelerators.