Semantics of Digital Circuits (Lecture Notes in Computer Science, 285)

Book

Trace Theory and VLSI Design

Book

Formal Semantics and Proof Techniques for Optimizing VHDL Models

Book

Asynchronous Circuits

Book

Formal Semantics for VHDL (The Springer International Series in Engineering and Computer Science, 307)

Book

Higher-Level Hardware Synthesis

Book

Algebraic Semantics (Lecture Notes in Computer Science, 99)

Book

A Formal Approach to Hardware Design

Book

A Survey of High-Level Synthesis Systems

Book

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

Book

Asynchronous Digital Circuit Design (Workshops in Computing)