This directory contains the IFIP WG10.5 Benchmark
Circuits for Hardware Verification

You can get (preferred wrt. transmission size): 

o the circuit descriptions

    Benchmarks_V*.*.*_without_doku.tar.gz

o and the documentation

    Whole_documentation.ps.gz
------------

or you can retrieve separate files if you go the

  directory Benchmarks_Vx.x.x

  --Thomas Kropf--  (Thomas.Kropf@informatik.uni-karlsruhe.de)

Last Edited: Thu Apr 11 11:23:28 MET DST 1996