Title: Practical Formal Methods for Hardware Design, Author: Carlos Delgado Kloos
Title: Electronic Chips & Systems Design Languages, Author: Jean Mermet
Title: Hardware Description Languages and their Applications: Specification, modelling, verification and synthesis of microelectronic systems, Author: Carlos Delgado Kloos
Title: The e Hardware Verification Language, Author: Sasan Iman
Title: Hardware Description Languages and their Applications: Specification, modelling, verification and synthesis of microelectronic systems, Author: Carlos Delgado Kloos
Title: Writing Testbenches using SystemVerilog, Author: Janick Bergeron
Title: Writing Testbenches using SystemVerilog, Author: Janick Bergeron
Title: System Specification & Design Languages: Best of FDL'02, Author: Eugenio Villar
Title: Optimized ASIP Synthesis from Architecture Description Language Models, Author: Oliver Schliebusch
Title: Architecture Exploration for Embedded Processors with LISA, Author: Andreas Hoffmann
Title: Architecture Exploration for Embedded Processors with LISA, Author: Andreas Hoffmann

Pagination Links