Home Page for CIS 410/510 (Hardware Specification and Verification)

Books on Reserve

• The Verilog Hardware Description Language, Donald E. Thomas and Philip Moorby, Kluwer Academic Publishers, 1991.

Assignments

Projects

The Verilog HDL

• comp.lang.verilog FAQ and archive
• Alternate FAQ for comp.lang.verilog
• Verilog's formal syntax
• Bucknell Verilog manual
• Verilog quick reference card
• Synopsys has a free demo of a Verilog course that you can download

Verilog Simulators

Name Of the company	Name of Simulator	further information
Cadence Design Systems, Inc.	Verilog-XL	http://www.cadence.com
Chronologic Simulation	VCS	http://www.chronologic.com/
Fintronic USA, Inc.	FinSim	http://www.fintronic.com/
interHDL, Inc.	Viper	http://www.interhdl.com
Mentor Graphics	QuickHDL	http://www.mentorg.com/
Model Technology	V-System/VLOG	http://www.ata.org/~model/
Pragmatic C Software Corp.	Cver	sjmeyer@crl.com
Simucad	Silos III	http://www.simucad.com/
SpeedSim, Inc.	SpeedSim/3	http://www.speedsim.com
Wellspring Solutions, Inc.	VeriWell	http://www.wellspring.com/

Verification Tools

• VIS
• SPIN
• PVS
• Survey of formal methods

Other courses

• Specification and Verification II at Cambridge
• Specification and Verification I at Cambridge
• Chalmers
• Lousiana State
• Syracuse
• U Texas
• UBC
• U Karlsruhe
• Rice
• UC Berkeley
• Cambridge
• Utah U (papers)
• Roger Jones

Books and Resources

• Online book by Graham Birtwistle et al.
• Some nice BRICS notes on various systems and ideas at the recent Autumn School on Verification.
• Some relevant software that could be used as part of a course.
• White paper by Chrysalis Symbolic Design, Inc.

Research Groups

• Verilog research at Cambridge, England
• Oxford Hardware Compilation Group

General Stuff

• A collection of papers about the Pentium bug
• ACM 1996 Turing Award goes to Amir Pnueli