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

Book

Logic Synthesis and Verification Algorithms

Book

High-Level VLSI Synthesis (The Springer International Series in Engineering and Computer Science, 136)

Book

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

Book

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

Book

Logic Synthesis and Verification

Book

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

Book

Compiler Specification and Verification (Lecture Notes in Computer Science, 124)