Title: High-Level System Modeling: Specification Languages / Edition 1, Author: Jean-Michel Bergï
Title: Practical Formal Methods for Hardware Design, Author: Carlos Delgado Kloos
Title: The e Hardware Verification Language / Edition 1, Author: Sasan Iman
Title: System on Chip Design Languages: Extended papers: best of FDL'01 and HDLCon'01 / Edition 1, Author: Anne Mignotte
Title: Writing Testbenches: Functional Verification of HDL Models / Edition 2, Author: Janick Bergeron
Title: Optimized ASIP Synthesis from Architecture Description Language Models / Edition 1, Author: Oliver Schliebusch
Title: System-on-Chip Methodologies & Design Languages / Edition 1, Author: Peter J. Ashenden
Title: CTL for Test Information of Digital ICs / Edition 1, Author: Rohit Kapur

Pagination Links