Title: Writing Testbenches using SystemVerilog / Edition 1, Author: Janick Bergeron
Title: The e Hardware Verification Language, Author: Sasan Iman
Title: System-on-Chip Methodologies & Design Languages / Edition 1, Author: Peter J. Ashenden
Title: System Specification & Design Languages: Best of FDL'02 / Edition 1, Author: Eugenio Villar
Title: System on Chip Design Languages: Extended papers: best of FDL'01 and HDLCon'01 / Edition 1, Author: Anne Mignotte
Title: Practical Formal Methods for Hardware Design, Author: Carlos Delgado Kloos
Title: Optimized ASIP Synthesis from Architecture Description Language Models / Edition 1, Author: Oliver Schliebusch
Title: Higher-Level Hardware Synthesis / Edition 1, Author: Richard Sharp
Title: High-Level Synthesis: from Algorithm to Digital Circuit / Edition 1, Author: Philippe Coussy
Title: Electronic Chips & Systems Design Languages / Edition 1, Author: Jean Mermet
Title: Architecture Exploration for Embedded Processors with LISA / Edition 1, Author: Andreas Hoffmann