http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Designing digital computer systems with Verilog
David J. Lilja and Sachin S. Sapatnekar.
Includes bibliographical references and index.
Verilog (Computer hardware description language)