- FPGA Prototyping By Verilog Examples: Xilinx Spartan-3 Version by Pong P. Chu, 2008-06-30
- Digital Computer Arithmetic Datapath Design Using Verilog HDL: CD-ROM included (International Series in Operations Research>and Management Science) by James E. Stine, 2003-11-30
- Higher-Level Hardware Synthesis by Richard Sharp, 2004-04-28
- Hardware Verification With SystemVerilog: An Object-oriented Framework by Mike Mintz, Robert Ekendahl, 2007-05-16
- Writing Testbenches using SystemVerilog by Janick Bergeron, 2006-02-10
- Assertion-Based Design (Information Technology: Transmission, Processing and Storage) by Harry D. Foster, Adam C. Krolnik, et all 2004-05-19
- Digital System Design with SystemVerilog by Mark Zwolinski, 2009-11-02
- A Roadmap for Formal Property Verification by Pallab Dasgupta, 2006-07-28
-
|