Benchmarks

ITC'02 SOC Benchmarks

We have randomly generated input stimuli and expected responses
with 95% don't cares for the following ITC'02 circuits:
g1023 (0.14MB)
p34392 (3.06MB)
p93791 (5.21MB)