The ISCAS89 Benchmarks in FHDL Format
Maurer, Peter M.
The .zip file contains each of the ISCAS89 Benchmarks in FHDL format. Also included is a random vector generator file for each circuit. (For what it’s worth.) The generators are written in the DGL language.
Benchmarks, Sequential Benchmarks, Digital Simulation