Logic Design

Taxonomies for the Development and Verification of Digital Systems / by: (Electronic resources)

New Algorithms, Architectures and Applications for Reconfigurable Computing / by: (Electronic resources)

Fault-Tolerance Techniques for SRAM-based FPGAs / by: (Electronic resources)

A Roadmap for Formal Property Verification / by: (Electronic resources)

Electronic and Computer Engineering

Electronics and Microelectronics, Instrumentation

Logic Design

Software engineering

Operating systems (Computers)

Computer aided design

Systems engineering

Computer-Aided Engineering (CAD, CAE) and Design

Circuits and Systems

Engineering design

Performance and Reliability

Optical materials

Electronics

Engineering Design

Special Purpose and Application-Based Systems

Optical and Electronic Materials

Logic design

Computer science

Mathematical Logic and Formal Languages

Engineering

Computer engineering