Formal Verification Research Page
Formal Verification Research Page 
Model
Checking Group in CMU
Dill's Verification Group in Stanford
NuSMV Page
VIS Group in UC Berkeley
Mocha Research Group
Verification Group from UColorado
Rice Verification Group
SPIN Model Checker in Bell Lab
SRI Computer Science Lab
WWW Virtual Lib: Formal Methods
Hardware Verification in CS Dept. of Univ. of Denmark
Formal Verification Group in Eindhoven Univ. of Technology
Formal Verification Group, Univ. of Karisruhe, Germany
IU Hardware Methods Group
UPC/DAC VLSI CAD Group, UPC, Spain
Other sources of TRs on the net
Formal Methods at Bell Laboratories
SRI Formal Methods and Dependable Systems
SGI Formal Verification Site
BuDDy Page
Specification Pattern System
TLA Specification
Abadi's Page
Abdulla's Page
Avrunin's Page
Aziz's Page
Armin Biere's Page
Bryant's Page
Cousot's Page
Dams' Page
Dwyer's Page
Graf's Page
Grumberg's Page
Nicolas Halbwachs' Page
Henzinger's Page
Jensen's Page
Kupferman's Page
Lakhnech's Page
Manna's Page
McMillan's Page
Owre's Page
Pardo's School Page
Pnueli's Page
Marco Roveri's Page
Saidi's Page
Schmidt's Page
Singerman's Page
Somenzi's Page
Uribe's Page
Velev's Page
CMU SMV Page
CS Technical Reports On-line
CS Tech Reports in Univ. Melbourne, Austrilia
Dept. of CS, Univ. of Zurich
Dept. of ECE, Univ. of Manitoba
CS+ECE Tech Reports Page - CMU Lib
CS Tech Reports in Stanford
CS Tech Reports in UW Madison
CS Tech Reports in UMass
CS Tech Reports in UC Irvine
CS Tech Reports in UMCP
Digital Test Lab
CLI Tech Reports from Computational Logic, Inc.
Langley Tech Report Server
Networked Computer Science Tech Reports Lib. at Cornell Univ.
Query
interface to the CS Tech Report Broker
Digital Systems CAD Group Publications
Sun Microsystem Tech Reports
CS Tech Reports Server in CMU
ACM Trans. on Design Automation
Bechmark Archives at CBL
CAV'00
ICCAD Conference
DAC Conference
FMCAD'00
IWLS'00
SCI2000
VHDL Examples
VAutomation Inc
Tutorial of VHDL
Prof. Thomas's Verilog Example Page
FAQ for Verilog PLI
comp.lang.verilog