[comp.lsi.cad] looking for chkn

mars@duteca (mars@duteca.tudelft.nl) (11/08/90)

I am looking for a pla/blif/or_anything_i_can_read_in_misII description
for the benchmark pla CHKN. It is one of the benchmarks used in
Logic Minimization Algorithms for VLSI Synthesis by Brayton/Hachtel/McMullen/
Sangiovanni-Vencentelli and it is referred to in a number of papers by
Franc Brglez. The pla has 29 inputs and 7 outputs.

I looked for it on mcnc.org, but couldn't find it. I would appreciate it
if someone could tell me where I can get the circuit.

Thanx in advance,
Gert-Jan


-- 
*****************************************************************************
* Gert-Jan Tromp                   | I think that mice people, once accepted*
* Delft University of Technology   | can play a very useful role in society * 
* Dept. of Elect. Engineering,     |                                        *
* Section Computer Architecture    +----------------------------------------*
* P.O. Box 5031, 2600 GA Delft,    |                                        *
* The Netherlands                  |                                        *
* Email: mars@duteca.et.tudelft.nl |                                        *
*****************************************************************************