This is the official home page of the IFIP WG10.5 Benchmark-Circuits Suite for Hardware Verification. The set of benchmark circuits is maintained by Jørgen Staunstrup and Thomas Kropf. The set is under constant revision and intended to evaluate various hardware verification tools and systems.
If you want to suggest changes to the actual presentation or if you want to propose new circuits, then you are encouraged to send an email to us (jst@it.dtu.dk or Thomas.Kropf@informatik.uni-karlsruhe.de).
Starting here, you can find the following:
- The Verification Benchmark Circuits (Here) (Postscripts, VHDL files, Schematics, ...)
- The WWW Verification Benchmark Circuits Description
(currently unavailable)