VLSI Specification, Verification and Synthesis (The Springer International Series in Engineering and Computer Science)

Book

VLSI CAD Tools and Applications (The Springer International Series in Engineering and Computer Science)

Book

Computer Design Aids for VLSI Circuits (Nato Science Series E:)

Book

BiCMOS Technology and Applications (The Springer International Series in Engineering and Computer Science)

Book

Logic and Architecture Synthesis

Book

Circuit Synthesis with VHDL (The Springer International Series in Engineering and Computer Science, 261)

Book

High Level Synthesis of ASICs under Timing and Synchronization Constraints (The Springer International Series in Engineering and Computer Science, 177)

Book

Hardware/Software Co-Design (Nato Science Series E: (closed))

Book

Predictably Dependable Computing Systems (ESPRIT Basic Research Series)

Book

Logic Synthesis and Verification

Book

Logic Synthesis and Verification Algorithms