Electronic Design Automation Software, including: Systemc, Systemverilog, Specman, Openvera, E (verification Language), Reference Verification ... Specc, Vhdl, Verilog, Ieee 1076, Ieee 1164

Hephaestus Books represents a new publishing paradigm, allowing disparate content sources to be curated into cohesive, relevant, and informative books. To date, this content has been curated from Wikipedia articles and images under Creative Commons licensing, although as Hephaestus Books continues to increase in scope and dimension, more licensed and public domain content is being added. We believe books such as this represent a new and exciting lexicon in the sharing of human knowledge. This particular book contains chapters focused on Electronic design automation software, Hardware description languages, Hardware verification languages, System description languages, Electronic circuit simulators, Hardware verification languages, and Free electronic design automation software.