BOOM Benchmarks 

Description Download Results References Contact 
BOOM benchmarks  random twolevel (PLA) circuitsTo compare the performance and result quality achieved by twolevel Boolean minimizers on large problems, we have created a set of artificial benchmark problems. The truth tables of these problems were generated by a random number generator, for which required parameters were specified.Current BOOM benchmarks (v.1) have following properties:
These benchmarks are available in standard Berkeley PLA format, type fr. BOOM benchmarks filenames have the following structure: bb_iv x ov x p_d%_n.PLA ov is the number of output variables p is the number of care terms d is the percentage of don't cares in the input matrix n is the problem number (09) For details see: 