Thomas Kropf Benchmark-Circuits for Hardware-Verification. 1-12 1994 conf/tpcd/1994 TPCD db/conf/tpcd/tpcd1994.html#Kropf94