From d519dd68d4afdc157c8bc27026dd61b54840508e Mon Sep 17 00:00:00 2001 From: YuhangQ Date: Wed, 4 Dec 2024 08:58:48 +0000 Subject: [PATCH] =?UTF-8?q?upload(experiment):=20=E7=94=9F=E6=88=90?= =?UTF-8?q?=E4=BA=86=20verilog?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- experiment/convert.py | 4 ++-- experiment/demiter_aig/TOP10_1.aig | 3 +++ experiment/demiter_aig/TOP10_2.aig | 3 +++ experiment/demiter_aig/TOP13_1.aig | 3 +++ experiment/demiter_aig/TOP13_2.aig | 3 +++ experiment/demiter_aig/TOP14_1.aig | 3 +++ experiment/demiter_aig/TOP14_2.aig | 3 +++ experiment/demiter_aig/TOP15_1.aig | 3 +++ experiment/demiter_aig/TOP15_2.aig | 3 +++ experiment/demiter_aig/TOP16_1.aig | 3 +++ experiment/demiter_aig/TOP16_2.aig | 3 +++ experiment/demiter_aig/TOP17_1.aig | 3 +++ experiment/demiter_aig/TOP17_2.aig | 3 +++ experiment/demiter_aig/TOP18_1.aig | 3 +++ experiment/demiter_aig/TOP18_2.aig | 3 +++ experiment/demiter_aig/TOP1_1.aig | 3 +++ experiment/demiter_aig/TOP1_2.aig | 3 +++ experiment/demiter_aig/TOP20_1.aig | 3 +++ experiment/demiter_aig/TOP20_2.aig | 3 +++ experiment/demiter_aig/TOP22_1.aig | 3 +++ experiment/demiter_aig/TOP22_2.aig | 3 +++ experiment/demiter_aig/TOP23_1.aig | 3 +++ experiment/demiter_aig/TOP23_2.aig | 3 +++ experiment/demiter_aig/TOP24_1.aig | 3 +++ experiment/demiter_aig/TOP24_2.aig | 3 +++ experiment/demiter_aig/TOP26_1.aig | 3 +++ experiment/demiter_aig/TOP26_2.aig | 3 +++ experiment/demiter_aig/TOP29_1.aig | 3 +++ experiment/demiter_aig/TOP29_2.aig | 3 +++ experiment/demiter_aig/TOP30_1.aig | 3 +++ experiment/demiter_aig/TOP30_2.aig | 3 +++ experiment/demiter_aig/TOP32_1.aig | 3 +++ experiment/demiter_aig/TOP32_2.aig | 3 +++ experiment/demiter_aig/TOP34_1.aig | 3 +++ experiment/demiter_aig/TOP34_2.aig | 3 +++ experiment/demiter_aig/TOP4_1.aig | 3 +++ experiment/demiter_aig/TOP4_2.aig | 3 +++ experiment/demiter_aig/TOP5_1.aig | 3 +++ experiment/demiter_aig/TOP5_2.aig | 3 +++ experiment/demiter_aig/TOP6_1.aig | 3 +++ experiment/demiter_aig/TOP6_2.aig | 3 +++ experiment/demiter_aig/TOP7_1.aig | 3 +++ experiment/demiter_aig/TOP7_2.aig | 3 +++ experiment/demiter_aig/TOP8_1.aig | 3 +++ experiment/demiter_aig/TOP8_2.aig | 3 +++ experiment/demiter_aig/TOP9_1.aig | 3 +++ experiment/demiter_aig/TOP9_2.aig | 3 +++ experiment/demiter_aig/easy1_1.aig | 3 +++ experiment/demiter_aig/easy1_2.aig | 3 +++ experiment/demiter_aig/easy2_1.aig | 3 +++ experiment/demiter_aig/easy2_2.aig | 3 +++ experiment/demiter_aig/hard1_1.aig | 3 +++ experiment/demiter_aig/hard1_2.aig | 3 +++ experiment/demiter_aig/hard2_1.aig | 3 +++ experiment/demiter_aig/hard2_2.aig | 3 +++ experiment/demiter_aig/hard3_1.aig | 3 +++ experiment/demiter_aig/hard3_2.aig | 3 +++ experiment/demiter_aig/hard4_1.aig | 3 +++ experiment/demiter_aig/hard4_2.aig | 3 +++ experiment/demiter_aig/middle1_1.aig | 3 +++ experiment/demiter_aig/middle1_2.aig | 3 +++ experiment/demiter_aig/middle2_1.aig | 3 +++ experiment/demiter_aig/middle2_2.aig | 3 +++ experiment/demiter_aig/middle3_1.aig | 3 +++ experiment/demiter_aig/middle3_2.aig | 3 +++ experiment/demiter_aig/mult_op_DEMO1_10_10_TOP11.blif_1.aig | 3 +++ experiment/demiter_aig/mult_op_DEMO1_10_10_TOP11.blif_2.aig | 3 +++ experiment/demiter_aig/mult_op_DEMO1_10_10_TOP14.blif_1.aig | 3 +++ experiment/demiter_aig/mult_op_DEMO1_10_10_TOP14.blif_2.aig | 3 +++ experiment/demiter_aig/mult_op_DEMO1_10_10_TOP17.blif_1.aig | 3 +++ experiment/demiter_aig/mult_op_DEMO1_10_10_TOP17.blif_2.aig | 3 +++ experiment/demiter_aig/mult_op_DEMO1_12_12_TOP10.blif_1.aig | 3 +++ experiment/demiter_aig/mult_op_DEMO1_12_12_TOP10.blif_2.aig | 3 +++ experiment/demiter_aig/mult_op_DEMO1_12_12_TOP13.blif_1.aig | 3 +++ experiment/demiter_aig/mult_op_DEMO1_12_12_TOP13.blif_2.aig | 3 +++ experiment/demiter_aig/mult_op_DEMO1_12_12_TOP17.blif_1.aig | 3 +++ experiment/demiter_aig/mult_op_DEMO1_12_12_TOP17.blif_2.aig | 3 +++ experiment/demiter_aig/mult_op_DEMO1_13_13_TOP11.blif_1.aig | 3 +++ experiment/demiter_aig/mult_op_DEMO1_13_13_TOP11.blif_2.aig | 3 +++ experiment/demiter_aig/mult_op_DEMO1_7_7_TOP8.blif_1.aig | 3 +++ experiment/demiter_aig/mult_op_DEMO1_7_7_TOP8.blif_2.aig | 3 +++ experiment/demiter_aig/mult_op_DEMO1_8_8_TOP12.blif_1.aig | 3 +++ experiment/demiter_aig/mult_op_DEMO1_8_8_TOP12.blif_2.aig | 3 +++ experiment/demiter_aig/mult_op_DEMO1_9_9_TOP10.blif_1.aig | 3 +++ experiment/demiter_aig/mult_op_DEMO1_9_9_TOP10.blif_2.aig | 3 +++ experiment/demiter_aig/mult_op_DEMO1_9_9_TOP12.blif_1.aig | 3 +++ experiment/demiter_aig/mult_op_DEMO1_9_9_TOP12.blif_2.aig | 3 +++ experiment/demiter_verilog/TOP10_1.v | 3 +++ experiment/demiter_verilog/TOP10_2.v | 3 +++ experiment/demiter_verilog/TOP13_1.v | 3 +++ experiment/demiter_verilog/TOP13_2.v | 3 +++ experiment/demiter_verilog/TOP14_1.v | 3 +++ experiment/demiter_verilog/TOP14_2.v | 3 +++ experiment/demiter_verilog/TOP15_1.v | 3 +++ experiment/demiter_verilog/TOP15_2.v | 3 +++ experiment/demiter_verilog/TOP16_1.v | 3 +++ experiment/demiter_verilog/TOP16_2.v | 3 +++ experiment/demiter_verilog/TOP17_1.v | 3 +++ experiment/demiter_verilog/TOP17_2.v | 3 +++ experiment/demiter_verilog/TOP18_1.v | 3 +++ experiment/demiter_verilog/TOP18_2.v | 3 +++ experiment/demiter_verilog/TOP1_1.v | 3 +++ experiment/demiter_verilog/TOP1_2.v | 3 +++ experiment/demiter_verilog/TOP20_1.v | 3 +++ experiment/demiter_verilog/TOP20_2.v | 3 +++ experiment/demiter_verilog/TOP22_1.v | 3 +++ experiment/demiter_verilog/TOP22_2.v | 3 +++ experiment/demiter_verilog/TOP23_1.v | 3 +++ experiment/demiter_verilog/TOP23_2.v | 3 +++ experiment/demiter_verilog/TOP24_1.v | 3 +++ experiment/demiter_verilog/TOP24_2.v | 3 +++ experiment/demiter_verilog/TOP26_1.v | 3 +++ experiment/demiter_verilog/TOP26_2.v | 3 +++ experiment/demiter_verilog/TOP29_1.v | 3 +++ experiment/demiter_verilog/TOP29_2.v | 3 +++ experiment/demiter_verilog/TOP30_1.v | 3 +++ experiment/demiter_verilog/TOP30_2.v | 3 +++ experiment/demiter_verilog/TOP32_1.v | 3 +++ experiment/demiter_verilog/TOP32_2.v | 3 +++ experiment/demiter_verilog/TOP34_1.v | 3 +++ experiment/demiter_verilog/TOP34_2.v | 3 +++ experiment/demiter_verilog/TOP4_1.v | 3 +++ experiment/demiter_verilog/TOP4_2.v | 3 +++ experiment/demiter_verilog/TOP5_1.v | 3 +++ experiment/demiter_verilog/TOP5_2.v | 3 +++ experiment/demiter_verilog/TOP6_1.v | 3 +++ experiment/demiter_verilog/TOP6_2.v | 3 +++ experiment/demiter_verilog/TOP7_1.v | 3 +++ experiment/demiter_verilog/TOP7_2.v | 3 +++ experiment/demiter_verilog/TOP8_1.v | 3 +++ experiment/demiter_verilog/TOP8_2.v | 3 +++ experiment/demiter_verilog/TOP9_1.v | 3 +++ experiment/demiter_verilog/TOP9_2.v | 3 +++ experiment/demiter_verilog/easy1_1.v | 3 +++ experiment/demiter_verilog/easy1_2.v | 3 +++ experiment/demiter_verilog/easy2_1.v | 3 +++ experiment/demiter_verilog/easy2_2.v | 3 +++ experiment/demiter_verilog/hard1_1.v | 3 +++ experiment/demiter_verilog/hard1_2.v | 3 +++ experiment/demiter_verilog/hard2_1.v | 3 +++ experiment/demiter_verilog/hard2_2.v | 3 +++ experiment/demiter_verilog/hard3_1.v | 3 +++ experiment/demiter_verilog/hard3_2.v | 3 +++ experiment/demiter_verilog/hard4_1.v | 3 +++ experiment/demiter_verilog/hard4_2.v | 3 +++ experiment/demiter_verilog/middle1_1.v | 3 +++ experiment/demiter_verilog/middle1_2.v | 3 +++ experiment/demiter_verilog/middle2_1.v | 3 +++ experiment/demiter_verilog/middle2_2.v | 3 +++ experiment/demiter_verilog/middle3_1.v | 3 +++ experiment/demiter_verilog/middle3_2.v | 3 +++ experiment/demiter_verilog/mult_op_DEMO1_10_10_TOP11.blif_1.v | 3 +++ experiment/demiter_verilog/mult_op_DEMO1_10_10_TOP11.blif_2.v | 3 +++ experiment/demiter_verilog/mult_op_DEMO1_10_10_TOP14.blif_1.v | 3 +++ experiment/demiter_verilog/mult_op_DEMO1_10_10_TOP14.blif_2.v | 3 +++ experiment/demiter_verilog/mult_op_DEMO1_10_10_TOP17.blif_1.v | 3 +++ experiment/demiter_verilog/mult_op_DEMO1_10_10_TOP17.blif_2.v | 3 +++ experiment/demiter_verilog/mult_op_DEMO1_12_12_TOP10.blif_1.v | 3 +++ experiment/demiter_verilog/mult_op_DEMO1_12_12_TOP10.blif_2.v | 3 +++ experiment/demiter_verilog/mult_op_DEMO1_12_12_TOP13.blif_1.v | 3 +++ experiment/demiter_verilog/mult_op_DEMO1_12_12_TOP13.blif_2.v | 3 +++ experiment/demiter_verilog/mult_op_DEMO1_12_12_TOP17.blif_1.v | 3 +++ experiment/demiter_verilog/mult_op_DEMO1_12_12_TOP17.blif_2.v | 3 +++ experiment/demiter_verilog/mult_op_DEMO1_13_13_TOP11.blif_1.v | 3 +++ experiment/demiter_verilog/mult_op_DEMO1_13_13_TOP11.blif_2.v | 3 +++ experiment/demiter_verilog/mult_op_DEMO1_7_7_TOP8.blif_1.v | 3 +++ experiment/demiter_verilog/mult_op_DEMO1_7_7_TOP8.blif_2.v | 3 +++ experiment/demiter_verilog/mult_op_DEMO1_8_8_TOP12.blif_1.v | 3 +++ experiment/demiter_verilog/mult_op_DEMO1_8_8_TOP12.blif_2.v | 3 +++ experiment/demiter_verilog/mult_op_DEMO1_9_9_TOP10.blif_1.v | 3 +++ experiment/demiter_verilog/mult_op_DEMO1_9_9_TOP10.blif_2.v | 3 +++ experiment/demiter_verilog/mult_op_DEMO1_9_9_TOP12.blif_1.v | 3 +++ experiment/demiter_verilog/mult_op_DEMO1_9_9_TOP12.blif_2.v | 3 +++ 173 files changed, 518 insertions(+), 2 deletions(-) create mode 100644 experiment/demiter_aig/TOP10_1.aig create mode 100644 experiment/demiter_aig/TOP10_2.aig create mode 100644 experiment/demiter_aig/TOP13_1.aig create mode 100644 experiment/demiter_aig/TOP13_2.aig create mode 100644 experiment/demiter_aig/TOP14_1.aig create mode 100644 experiment/demiter_aig/TOP14_2.aig create mode 100644 experiment/demiter_aig/TOP15_1.aig create mode 100644 experiment/demiter_aig/TOP15_2.aig create mode 100644 experiment/demiter_aig/TOP16_1.aig create mode 100644 experiment/demiter_aig/TOP16_2.aig create mode 100644 experiment/demiter_aig/TOP17_1.aig create mode 100644 experiment/demiter_aig/TOP17_2.aig create mode 100644 experiment/demiter_aig/TOP18_1.aig create mode 100644 experiment/demiter_aig/TOP18_2.aig create mode 100644 experiment/demiter_aig/TOP1_1.aig create mode 100644 experiment/demiter_aig/TOP1_2.aig create mode 100644 experiment/demiter_aig/TOP20_1.aig create mode 100644 experiment/demiter_aig/TOP20_2.aig create mode 100644 experiment/demiter_aig/TOP22_1.aig create mode 100644 experiment/demiter_aig/TOP22_2.aig create mode 100644 experiment/demiter_aig/TOP23_1.aig create mode 100644 experiment/demiter_aig/TOP23_2.aig create mode 100644 experiment/demiter_aig/TOP24_1.aig create mode 100644 experiment/demiter_aig/TOP24_2.aig create mode 100644 experiment/demiter_aig/TOP26_1.aig create mode 100644 experiment/demiter_aig/TOP26_2.aig create mode 100644 experiment/demiter_aig/TOP29_1.aig create mode 100644 experiment/demiter_aig/TOP29_2.aig create mode 100644 experiment/demiter_aig/TOP30_1.aig create mode 100644 experiment/demiter_aig/TOP30_2.aig create mode 100644 experiment/demiter_aig/TOP32_1.aig create mode 100644 experiment/demiter_aig/TOP32_2.aig create mode 100644 experiment/demiter_aig/TOP34_1.aig create mode 100644 experiment/demiter_aig/TOP34_2.aig create mode 100644 experiment/demiter_aig/TOP4_1.aig create mode 100644 experiment/demiter_aig/TOP4_2.aig create mode 100644 experiment/demiter_aig/TOP5_1.aig create mode 100644 experiment/demiter_aig/TOP5_2.aig create mode 100644 experiment/demiter_aig/TOP6_1.aig create mode 100644 experiment/demiter_aig/TOP6_2.aig create mode 100644 experiment/demiter_aig/TOP7_1.aig create mode 100644 experiment/demiter_aig/TOP7_2.aig create mode 100644 experiment/demiter_aig/TOP8_1.aig create mode 100644 experiment/demiter_aig/TOP8_2.aig create mode 100644 experiment/demiter_aig/TOP9_1.aig create mode 100644 experiment/demiter_aig/TOP9_2.aig create mode 100644 experiment/demiter_aig/easy1_1.aig create mode 100644 experiment/demiter_aig/easy1_2.aig create mode 100644 experiment/demiter_aig/easy2_1.aig create mode 100644 experiment/demiter_aig/easy2_2.aig create mode 100644 experiment/demiter_aig/hard1_1.aig create mode 100644 experiment/demiter_aig/hard1_2.aig create mode 100644 experiment/demiter_aig/hard2_1.aig create mode 100644 experiment/demiter_aig/hard2_2.aig create mode 100644 experiment/demiter_aig/hard3_1.aig create mode 100644 experiment/demiter_aig/hard3_2.aig create mode 100644 experiment/demiter_aig/hard4_1.aig create mode 100644 experiment/demiter_aig/hard4_2.aig create mode 100644 experiment/demiter_aig/middle1_1.aig create mode 100644 experiment/demiter_aig/middle1_2.aig create mode 100644 experiment/demiter_aig/middle2_1.aig create mode 100644 experiment/demiter_aig/middle2_2.aig create mode 100644 experiment/demiter_aig/middle3_1.aig create mode 100644 experiment/demiter_aig/middle3_2.aig create mode 100644 experiment/demiter_aig/mult_op_DEMO1_10_10_TOP11.blif_1.aig create mode 100644 experiment/demiter_aig/mult_op_DEMO1_10_10_TOP11.blif_2.aig create mode 100644 experiment/demiter_aig/mult_op_DEMO1_10_10_TOP14.blif_1.aig create mode 100644 experiment/demiter_aig/mult_op_DEMO1_10_10_TOP14.blif_2.aig create mode 100644 experiment/demiter_aig/mult_op_DEMO1_10_10_TOP17.blif_1.aig create mode 100644 experiment/demiter_aig/mult_op_DEMO1_10_10_TOP17.blif_2.aig create mode 100644 experiment/demiter_aig/mult_op_DEMO1_12_12_TOP10.blif_1.aig create mode 100644 experiment/demiter_aig/mult_op_DEMO1_12_12_TOP10.blif_2.aig create mode 100644 experiment/demiter_aig/mult_op_DEMO1_12_12_TOP13.blif_1.aig create mode 100644 experiment/demiter_aig/mult_op_DEMO1_12_12_TOP13.blif_2.aig create mode 100644 experiment/demiter_aig/mult_op_DEMO1_12_12_TOP17.blif_1.aig create mode 100644 experiment/demiter_aig/mult_op_DEMO1_12_12_TOP17.blif_2.aig create mode 100644 experiment/demiter_aig/mult_op_DEMO1_13_13_TOP11.blif_1.aig create mode 100644 experiment/demiter_aig/mult_op_DEMO1_13_13_TOP11.blif_2.aig create mode 100644 experiment/demiter_aig/mult_op_DEMO1_7_7_TOP8.blif_1.aig create mode 100644 experiment/demiter_aig/mult_op_DEMO1_7_7_TOP8.blif_2.aig create mode 100644 experiment/demiter_aig/mult_op_DEMO1_8_8_TOP12.blif_1.aig create mode 100644 experiment/demiter_aig/mult_op_DEMO1_8_8_TOP12.blif_2.aig create mode 100644 experiment/demiter_aig/mult_op_DEMO1_9_9_TOP10.blif_1.aig create mode 100644 experiment/demiter_aig/mult_op_DEMO1_9_9_TOP10.blif_2.aig create mode 100644 experiment/demiter_aig/mult_op_DEMO1_9_9_TOP12.blif_1.aig create mode 100644 experiment/demiter_aig/mult_op_DEMO1_9_9_TOP12.blif_2.aig create mode 100644 experiment/demiter_verilog/TOP10_1.v create mode 100644 experiment/demiter_verilog/TOP10_2.v create mode 100644 experiment/demiter_verilog/TOP13_1.v create mode 100644 experiment/demiter_verilog/TOP13_2.v create mode 100644 experiment/demiter_verilog/TOP14_1.v create mode 100644 experiment/demiter_verilog/TOP14_2.v create mode 100644 experiment/demiter_verilog/TOP15_1.v create mode 100644 experiment/demiter_verilog/TOP15_2.v create mode 100644 experiment/demiter_verilog/TOP16_1.v create mode 100644 experiment/demiter_verilog/TOP16_2.v create mode 100644 experiment/demiter_verilog/TOP17_1.v create mode 100644 experiment/demiter_verilog/TOP17_2.v create mode 100644 experiment/demiter_verilog/TOP18_1.v create mode 100644 experiment/demiter_verilog/TOP18_2.v create mode 100644 experiment/demiter_verilog/TOP1_1.v create mode 100644 experiment/demiter_verilog/TOP1_2.v create mode 100644 experiment/demiter_verilog/TOP20_1.v create mode 100644 experiment/demiter_verilog/TOP20_2.v create mode 100644 experiment/demiter_verilog/TOP22_1.v create mode 100644 experiment/demiter_verilog/TOP22_2.v create mode 100644 experiment/demiter_verilog/TOP23_1.v create mode 100644 experiment/demiter_verilog/TOP23_2.v create mode 100644 experiment/demiter_verilog/TOP24_1.v create mode 100644 experiment/demiter_verilog/TOP24_2.v create mode 100644 experiment/demiter_verilog/TOP26_1.v create mode 100644 experiment/demiter_verilog/TOP26_2.v create mode 100644 experiment/demiter_verilog/TOP29_1.v create mode 100644 experiment/demiter_verilog/TOP29_2.v create mode 100644 experiment/demiter_verilog/TOP30_1.v create mode 100644 experiment/demiter_verilog/TOP30_2.v create mode 100644 experiment/demiter_verilog/TOP32_1.v create mode 100644 experiment/demiter_verilog/TOP32_2.v create mode 100644 experiment/demiter_verilog/TOP34_1.v create mode 100644 experiment/demiter_verilog/TOP34_2.v create mode 100644 experiment/demiter_verilog/TOP4_1.v create mode 100644 experiment/demiter_verilog/TOP4_2.v create mode 100644 experiment/demiter_verilog/TOP5_1.v create mode 100644 experiment/demiter_verilog/TOP5_2.v create mode 100644 experiment/demiter_verilog/TOP6_1.v create mode 100644 experiment/demiter_verilog/TOP6_2.v create mode 100644 experiment/demiter_verilog/TOP7_1.v create mode 100644 experiment/demiter_verilog/TOP7_2.v create mode 100644 experiment/demiter_verilog/TOP8_1.v create mode 100644 experiment/demiter_verilog/TOP8_2.v create mode 100644 experiment/demiter_verilog/TOP9_1.v create mode 100644 experiment/demiter_verilog/TOP9_2.v create mode 100644 experiment/demiter_verilog/easy1_1.v create mode 100644 experiment/demiter_verilog/easy1_2.v create mode 100644 experiment/demiter_verilog/easy2_1.v create mode 100644 experiment/demiter_verilog/easy2_2.v create mode 100644 experiment/demiter_verilog/hard1_1.v create mode 100644 experiment/demiter_verilog/hard1_2.v create mode 100644 experiment/demiter_verilog/hard2_1.v create mode 100644 experiment/demiter_verilog/hard2_2.v create mode 100644 experiment/demiter_verilog/hard3_1.v create mode 100644 experiment/demiter_verilog/hard3_2.v create mode 100644 experiment/demiter_verilog/hard4_1.v create mode 100644 experiment/demiter_verilog/hard4_2.v create mode 100644 experiment/demiter_verilog/middle1_1.v create mode 100644 experiment/demiter_verilog/middle1_2.v create mode 100644 experiment/demiter_verilog/middle2_1.v create mode 100644 experiment/demiter_verilog/middle2_2.v create mode 100644 experiment/demiter_verilog/middle3_1.v create mode 100644 experiment/demiter_verilog/middle3_2.v create mode 100644 experiment/demiter_verilog/mult_op_DEMO1_10_10_TOP11.blif_1.v create mode 100644 experiment/demiter_verilog/mult_op_DEMO1_10_10_TOP11.blif_2.v create mode 100644 experiment/demiter_verilog/mult_op_DEMO1_10_10_TOP14.blif_1.v create mode 100644 experiment/demiter_verilog/mult_op_DEMO1_10_10_TOP14.blif_2.v create mode 100644 experiment/demiter_verilog/mult_op_DEMO1_10_10_TOP17.blif_1.v create mode 100644 experiment/demiter_verilog/mult_op_DEMO1_10_10_TOP17.blif_2.v create mode 100644 experiment/demiter_verilog/mult_op_DEMO1_12_12_TOP10.blif_1.v create mode 100644 experiment/demiter_verilog/mult_op_DEMO1_12_12_TOP10.blif_2.v create mode 100644 experiment/demiter_verilog/mult_op_DEMO1_12_12_TOP13.blif_1.v create mode 100644 experiment/demiter_verilog/mult_op_DEMO1_12_12_TOP13.blif_2.v create mode 100644 experiment/demiter_verilog/mult_op_DEMO1_12_12_TOP17.blif_1.v create mode 100644 experiment/demiter_verilog/mult_op_DEMO1_12_12_TOP17.blif_2.v create mode 100644 experiment/demiter_verilog/mult_op_DEMO1_13_13_TOP11.blif_1.v create mode 100644 experiment/demiter_verilog/mult_op_DEMO1_13_13_TOP11.blif_2.v create mode 100644 experiment/demiter_verilog/mult_op_DEMO1_7_7_TOP8.blif_1.v create mode 100644 experiment/demiter_verilog/mult_op_DEMO1_7_7_TOP8.blif_2.v create mode 100644 experiment/demiter_verilog/mult_op_DEMO1_8_8_TOP12.blif_1.v create mode 100644 experiment/demiter_verilog/mult_op_DEMO1_8_8_TOP12.blif_2.v create mode 100644 experiment/demiter_verilog/mult_op_DEMO1_9_9_TOP10.blif_1.v create mode 100644 experiment/demiter_verilog/mult_op_DEMO1_9_9_TOP10.blif_2.v create mode 100644 experiment/demiter_verilog/mult_op_DEMO1_9_9_TOP12.blif_1.v create mode 100644 experiment/demiter_verilog/mult_op_DEMO1_9_9_TOP12.blif_2.v diff --git a/experiment/convert.py b/experiment/convert.py index 1614660..cf015b8 100644 --- a/experiment/convert.py +++ b/experiment/convert.py @@ -1,3 +1,3 @@ version https://git-lfs.github.com/spec/v1 -oid sha256:104bd0bbe561c9c91db827a1e7ddde9528192b7ff68c1ac41e41b99dc8b043b2 -size 223 +oid sha256:90d006aa5ea0a08ab86e3c2729839348648e5abff0d46b10b48ded565953f7b4 +size 1192 diff --git a/experiment/demiter_aig/TOP10_1.aig b/experiment/demiter_aig/TOP10_1.aig new file mode 100644 index 0000000..0fb2847 --- /dev/null +++ b/experiment/demiter_aig/TOP10_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:ceddd339698d4a9856975fe7dc885278f29d2b4b3b9d28bd29dbb245796e4b7a +size 3256 diff --git a/experiment/demiter_aig/TOP10_2.aig b/experiment/demiter_aig/TOP10_2.aig new file mode 100644 index 0000000..f0bae6b --- /dev/null +++ b/experiment/demiter_aig/TOP10_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:29f37889700bc6fb79491f944ecdff280e6339ee2cab7731f4589ae64c46f558 +size 3268 diff --git a/experiment/demiter_aig/TOP13_1.aig b/experiment/demiter_aig/TOP13_1.aig new file mode 100644 index 0000000..c00ddfd --- /dev/null +++ b/experiment/demiter_aig/TOP13_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:bb2cf870dbed9c0d1b38b53c86c54840d39265f3f9f44aaa66e49bcdc8345207 +size 5359 diff --git a/experiment/demiter_aig/TOP13_2.aig b/experiment/demiter_aig/TOP13_2.aig new file mode 100644 index 0000000..945d804 --- /dev/null +++ b/experiment/demiter_aig/TOP13_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:ace287393f817298f8fc4d279ae1a5a14c29b24897701514311c2174a3081a19 +size 5843 diff --git a/experiment/demiter_aig/TOP14_1.aig b/experiment/demiter_aig/TOP14_1.aig new file mode 100644 index 0000000..af6a6d9 --- /dev/null +++ b/experiment/demiter_aig/TOP14_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:783e4df1d275798840280fa040cb9a6f733d7f2c40fff5fa99151203292680b9 +size 6196 diff --git a/experiment/demiter_aig/TOP14_2.aig b/experiment/demiter_aig/TOP14_2.aig new file mode 100644 index 0000000..5e3b0db --- /dev/null +++ b/experiment/demiter_aig/TOP14_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:4528a25511c0a5a6a6ea4563a9f2625d2a2c274f031446c54c199ae30167e19d +size 6857 diff --git a/experiment/demiter_aig/TOP15_1.aig b/experiment/demiter_aig/TOP15_1.aig new file mode 100644 index 0000000..69aa923 --- /dev/null +++ b/experiment/demiter_aig/TOP15_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:7e33506865dcca27982de3cb2f14d29e9384962a99f37b2af4f82921f3289d2a +size 6958 diff --git a/experiment/demiter_aig/TOP15_2.aig b/experiment/demiter_aig/TOP15_2.aig new file mode 100644 index 0000000..9f029eb --- /dev/null +++ b/experiment/demiter_aig/TOP15_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:df6f94b0f71da3a327ae54f3f62ce4e2bfa0e810fba21edbbcc5d56d8ddf5f79 +size 7989 diff --git a/experiment/demiter_aig/TOP16_1.aig b/experiment/demiter_aig/TOP16_1.aig new file mode 100644 index 0000000..1fcc001 --- /dev/null +++ b/experiment/demiter_aig/TOP16_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:439fba3e8a3efa6a2a3e3f7add24ac0870985bac893cadda2fd4eeabf9438a82 +size 7974 diff --git a/experiment/demiter_aig/TOP16_2.aig b/experiment/demiter_aig/TOP16_2.aig new file mode 100644 index 0000000..1606baa --- /dev/null +++ b/experiment/demiter_aig/TOP16_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:ba9b12befa51c7d5fdb5a797f335255a16f93a4be96d1dc625ddb38213c6e0e9 +size 9349 diff --git a/experiment/demiter_aig/TOP17_1.aig b/experiment/demiter_aig/TOP17_1.aig new file mode 100644 index 0000000..a3dd957 --- /dev/null +++ b/experiment/demiter_aig/TOP17_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:34e7dd7fa5ee5358c8dbbf75d9d4f80eddd16beb7b5873dbbf11d42d6c956556 +size 8130 diff --git a/experiment/demiter_aig/TOP17_2.aig b/experiment/demiter_aig/TOP17_2.aig new file mode 100644 index 0000000..934b555 --- /dev/null +++ b/experiment/demiter_aig/TOP17_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:23907bfe5b161313d0386f3f06111a110be60008254a8a2fb7d2a9be3f219b5d +size 9243 diff --git a/experiment/demiter_aig/TOP18_1.aig b/experiment/demiter_aig/TOP18_1.aig new file mode 100644 index 0000000..9e8a022 --- /dev/null +++ b/experiment/demiter_aig/TOP18_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:4782c940e3090d68d146a39cb9316ed78a0ed8863edad24abcb81f78acdf3c2c +size 9741 diff --git a/experiment/demiter_aig/TOP18_2.aig b/experiment/demiter_aig/TOP18_2.aig new file mode 100644 index 0000000..e595437 --- /dev/null +++ b/experiment/demiter_aig/TOP18_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:f732ece7fc5181bcf223b5ee46ccca5b7ffdd4609b2b3b28a9ba2c739f04b418 +size 11385 diff --git a/experiment/demiter_aig/TOP1_1.aig b/experiment/demiter_aig/TOP1_1.aig new file mode 100644 index 0000000..bb25a5d --- /dev/null +++ b/experiment/demiter_aig/TOP1_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:d638f40497d8b622eeb012a23300bce51e8daee9328e549a940f97d0754b2d4b +size 201 diff --git a/experiment/demiter_aig/TOP1_2.aig b/experiment/demiter_aig/TOP1_2.aig new file mode 100644 index 0000000..4aac542 --- /dev/null +++ b/experiment/demiter_aig/TOP1_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:9c76a48e95d7494b1b4f7602448de10c0d2ad1e9f136ef88f78a16749ec9f7f8 +size 201 diff --git a/experiment/demiter_aig/TOP20_1.aig b/experiment/demiter_aig/TOP20_1.aig new file mode 100644 index 0000000..3378790 --- /dev/null +++ b/experiment/demiter_aig/TOP20_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:f0955927a9ca82a238437531950d60c9d37fce6256b07a1a3ce809f62fe0ed3e +size 10925 diff --git a/experiment/demiter_aig/TOP20_2.aig b/experiment/demiter_aig/TOP20_2.aig new file mode 100644 index 0000000..c6fb5f4 --- /dev/null +++ b/experiment/demiter_aig/TOP20_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:e2cfb24c812db85a431f6940dbc440208a7b9fbe40d9e28c045e63a3a0ef64d3 +size 12937 diff --git a/experiment/demiter_aig/TOP22_1.aig b/experiment/demiter_aig/TOP22_1.aig new file mode 100644 index 0000000..f9e6f17 --- /dev/null +++ b/experiment/demiter_aig/TOP22_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:f903bf8c5117a497e290cfbcea02307ea072ff05ffa20228c80832efea378236 +size 11693 diff --git a/experiment/demiter_aig/TOP22_2.aig b/experiment/demiter_aig/TOP22_2.aig new file mode 100644 index 0000000..b6235a4 --- /dev/null +++ b/experiment/demiter_aig/TOP22_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:5afea01e65a727c6fb2908ef31a941b646fe37819b1b72c1ee17f6940b6b3fc6 +size 13780 diff --git a/experiment/demiter_aig/TOP23_1.aig b/experiment/demiter_aig/TOP23_1.aig new file mode 100644 index 0000000..0f22024 --- /dev/null +++ b/experiment/demiter_aig/TOP23_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:e13c4f996294a01f298e75cf78b8e54533701742477fad1017779d7d2ca5e880 +size 15761 diff --git a/experiment/demiter_aig/TOP23_2.aig b/experiment/demiter_aig/TOP23_2.aig new file mode 100644 index 0000000..e098551 --- /dev/null +++ b/experiment/demiter_aig/TOP23_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:279adac83ef3d6fddd0a282711b27d1c83472964bf596ca18521d2b599feeddf +size 18630 diff --git a/experiment/demiter_aig/TOP24_1.aig b/experiment/demiter_aig/TOP24_1.aig new file mode 100644 index 0000000..6d6c1a2 --- /dev/null +++ b/experiment/demiter_aig/TOP24_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:d8a20cb48de8a1b3bdb3ebd14bf264070d47e4d0ce125a588a466b054801005b +size 12589 diff --git a/experiment/demiter_aig/TOP24_2.aig b/experiment/demiter_aig/TOP24_2.aig new file mode 100644 index 0000000..d2619af --- /dev/null +++ b/experiment/demiter_aig/TOP24_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:e20e343dab05582a2cf7f6fed45aa67a3fb37f4e5b1f343a4dcd15e6a0c90da4 +size 14894 diff --git a/experiment/demiter_aig/TOP26_1.aig b/experiment/demiter_aig/TOP26_1.aig new file mode 100644 index 0000000..f60143e --- /dev/null +++ b/experiment/demiter_aig/TOP26_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:4c421add1494e022f0c6d16d09d3ee23472e35de0a66a6bbff64bc27202d25e0 +size 11397 diff --git a/experiment/demiter_aig/TOP26_2.aig b/experiment/demiter_aig/TOP26_2.aig new file mode 100644 index 0000000..42f98dd --- /dev/null +++ b/experiment/demiter_aig/TOP26_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:11bf16d66769370b4e1d74b0166947ed99e8217aa9810138a325da4edb35e0e7 +size 13394 diff --git a/experiment/demiter_aig/TOP29_1.aig b/experiment/demiter_aig/TOP29_1.aig new file mode 100644 index 0000000..6f0e432 --- /dev/null +++ b/experiment/demiter_aig/TOP29_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:0c7a0b64bb15c9b0def4b6587bca278b1654eb431ab7e6fa3e34008cab1bcb1b +size 22000 diff --git a/experiment/demiter_aig/TOP29_2.aig b/experiment/demiter_aig/TOP29_2.aig new file mode 100644 index 0000000..e95ab97 --- /dev/null +++ b/experiment/demiter_aig/TOP29_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:e4b2407f09eafd3da5fd0f85e32637af5379caa2e943806613769074f9715b9e +size 27492 diff --git a/experiment/demiter_aig/TOP30_1.aig b/experiment/demiter_aig/TOP30_1.aig new file mode 100644 index 0000000..790dbee --- /dev/null +++ b/experiment/demiter_aig/TOP30_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:3393691de9b6036220e555d5a5aaae781bcc8c03ca8f4f550ac8dcdc89972d8c +size 14968 diff --git a/experiment/demiter_aig/TOP30_2.aig b/experiment/demiter_aig/TOP30_2.aig new file mode 100644 index 0000000..ab35ea0 --- /dev/null +++ b/experiment/demiter_aig/TOP30_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:e1e13231093b56eeadf237324e1047b93d47b3d3c2ef39eb585221adffd23932 +size 18276 diff --git a/experiment/demiter_aig/TOP32_1.aig b/experiment/demiter_aig/TOP32_1.aig new file mode 100644 index 0000000..ae678b7 --- /dev/null +++ b/experiment/demiter_aig/TOP32_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:df8860e9b3bc7dfc99a7d34213fb6c07f50cdff31890e969d280be9fb9518020 +size 17551 diff --git a/experiment/demiter_aig/TOP32_2.aig b/experiment/demiter_aig/TOP32_2.aig new file mode 100644 index 0000000..aee3a38 --- /dev/null +++ b/experiment/demiter_aig/TOP32_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:0c22b1c8d9101a88b33fa6d113f4ac6f795de723bcc34d7cc857bae2adeced63 +size 21147 diff --git a/experiment/demiter_aig/TOP34_1.aig b/experiment/demiter_aig/TOP34_1.aig new file mode 100644 index 0000000..1a93d6f --- /dev/null +++ b/experiment/demiter_aig/TOP34_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:e787fb501db17d4b97cb9ce17d73b5ce9ff974bddc522f2358621f64d9a1620d +size 27720 diff --git a/experiment/demiter_aig/TOP34_2.aig b/experiment/demiter_aig/TOP34_2.aig new file mode 100644 index 0000000..d9000ac --- /dev/null +++ b/experiment/demiter_aig/TOP34_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:03a347a0f127dff5ca2ac470d61c72e0dfb6445e15dd100fc34e021c46e77b38 +size 34029 diff --git a/experiment/demiter_aig/TOP4_1.aig b/experiment/demiter_aig/TOP4_1.aig new file mode 100644 index 0000000..8dcdb4b --- /dev/null +++ b/experiment/demiter_aig/TOP4_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:921b6ad8de0884ee84d5c62d4aef54def1f74af44c1c7a71fd9f9b891ecd3bdb +size 711 diff --git a/experiment/demiter_aig/TOP4_2.aig b/experiment/demiter_aig/TOP4_2.aig new file mode 100644 index 0000000..828c8fa --- /dev/null +++ b/experiment/demiter_aig/TOP4_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:cf51828a85c4a2071a5c817bc8aa1faa704b15e9eee42a385a613d8e88ed3e7b +size 560 diff --git a/experiment/demiter_aig/TOP5_1.aig b/experiment/demiter_aig/TOP5_1.aig new file mode 100644 index 0000000..200dec0 --- /dev/null +++ b/experiment/demiter_aig/TOP5_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:9dc14a6131edbb16a875b4d5af10f782045e2924b673bac128c8751385ce1bc3 +size 768 diff --git a/experiment/demiter_aig/TOP5_2.aig b/experiment/demiter_aig/TOP5_2.aig new file mode 100644 index 0000000..83840a2 --- /dev/null +++ b/experiment/demiter_aig/TOP5_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:147bb81e5920780ad1ce063e677ddff1a6580e0629d95a2f6586589f76d66be4 +size 820 diff --git a/experiment/demiter_aig/TOP6_1.aig b/experiment/demiter_aig/TOP6_1.aig new file mode 100644 index 0000000..70b744b --- /dev/null +++ b/experiment/demiter_aig/TOP6_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:c5bd0c92983a48404669799f1b008cb2ac52ee926057f218b1f99a4a3e34cd77 +size 1074 diff --git a/experiment/demiter_aig/TOP6_2.aig b/experiment/demiter_aig/TOP6_2.aig new file mode 100644 index 0000000..7096cb7 --- /dev/null +++ b/experiment/demiter_aig/TOP6_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:5759a9c81272e0b5101fe74ca39a144765d8b088a45cd737bafb203d79b9cb61 +size 1138 diff --git a/experiment/demiter_aig/TOP7_1.aig b/experiment/demiter_aig/TOP7_1.aig new file mode 100644 index 0000000..984f91d --- /dev/null +++ b/experiment/demiter_aig/TOP7_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:d9706bd1756404153254d25ea9b5d3c91a4d8faf81d4979279a20352102c2c0f +size 1687 diff --git a/experiment/demiter_aig/TOP7_2.aig b/experiment/demiter_aig/TOP7_2.aig new file mode 100644 index 0000000..ee06f92 --- /dev/null +++ b/experiment/demiter_aig/TOP7_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:6e49231f6f2bb18708317112b8981ca28ac3c74a47c11e75984f78b3c6e9fbe0 +size 1561 diff --git a/experiment/demiter_aig/TOP8_1.aig b/experiment/demiter_aig/TOP8_1.aig new file mode 100644 index 0000000..2b87ba6 --- /dev/null +++ b/experiment/demiter_aig/TOP8_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:5ef17e4ce268cbb4be361570367b6d6f868143a55a0b128776da90785b57ca17 +size 2167 diff --git a/experiment/demiter_aig/TOP8_2.aig b/experiment/demiter_aig/TOP8_2.aig new file mode 100644 index 0000000..aeb57fd --- /dev/null +++ b/experiment/demiter_aig/TOP8_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:58efbf4fbfe02830c69d45c5af7c7363a716cccb938322ac8b9d58a8dae58208 +size 2041 diff --git a/experiment/demiter_aig/TOP9_1.aig b/experiment/demiter_aig/TOP9_1.aig new file mode 100644 index 0000000..1d5ab88 --- /dev/null +++ b/experiment/demiter_aig/TOP9_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:159ae094052093a03906f9721445da22bd756ffe5b3500b012ded38dba7224b3 +size 2699 diff --git a/experiment/demiter_aig/TOP9_2.aig b/experiment/demiter_aig/TOP9_2.aig new file mode 100644 index 0000000..2d1dcfb --- /dev/null +++ b/experiment/demiter_aig/TOP9_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:7686bef57acf1614f53ba3d662e725723916d244d59c626a2d22eea880f707c3 +size 2637 diff --git a/experiment/demiter_aig/easy1_1.aig b/experiment/demiter_aig/easy1_1.aig new file mode 100644 index 0000000..12093ac --- /dev/null +++ b/experiment/demiter_aig/easy1_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:f0378b95f4e1390c8df6463de22d75ed02bf0666538258117de73aa87c45a1a6 +size 535 diff --git a/experiment/demiter_aig/easy1_2.aig b/experiment/demiter_aig/easy1_2.aig new file mode 100644 index 0000000..db04ecf --- /dev/null +++ b/experiment/demiter_aig/easy1_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:ab79c704e6fd9ed0bc57f74aa3349f6dbe99b28534df84a430f128c4cea4c7c9 +size 521 diff --git a/experiment/demiter_aig/easy2_1.aig b/experiment/demiter_aig/easy2_1.aig new file mode 100644 index 0000000..6d9523a --- /dev/null +++ b/experiment/demiter_aig/easy2_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:51dcf0c9d065c71fd5cbca9daffe97234c4c3a8df5f7ccc8a0ba6dee47d272c6 +size 793 diff --git a/experiment/demiter_aig/easy2_2.aig b/experiment/demiter_aig/easy2_2.aig new file mode 100644 index 0000000..abfd27a --- /dev/null +++ b/experiment/demiter_aig/easy2_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:4a2b1c9cfa806c69407ed44e2b027ed34b7471de4123eb1a3699dbda3564896a +size 766 diff --git a/experiment/demiter_aig/hard1_1.aig b/experiment/demiter_aig/hard1_1.aig new file mode 100644 index 0000000..cef6b66 --- /dev/null +++ b/experiment/demiter_aig/hard1_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:13a7833920581f1cb61f7a51171f66e9de7e47a831fbc2a173d57ae86c28a4e5 +size 14163 diff --git a/experiment/demiter_aig/hard1_2.aig b/experiment/demiter_aig/hard1_2.aig new file mode 100644 index 0000000..f24adfd --- /dev/null +++ b/experiment/demiter_aig/hard1_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:61eb9c7f6fed8da71ee9dacfcae20710ce42bbcff648b5770204968923d0efbe +size 16374 diff --git a/experiment/demiter_aig/hard2_1.aig b/experiment/demiter_aig/hard2_1.aig new file mode 100644 index 0000000..5c94fb6 --- /dev/null +++ b/experiment/demiter_aig/hard2_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:768c5ec1c253a78d5573af3c98a2168a9222694e0934854e81d24a25bf525732 +size 15455 diff --git a/experiment/demiter_aig/hard2_2.aig b/experiment/demiter_aig/hard2_2.aig new file mode 100644 index 0000000..9faa910 --- /dev/null +++ b/experiment/demiter_aig/hard2_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:13123aaf6b42e65fa090848c3c6ed4c6178a9501a9b2d3b9a1e97e1b713e44f2 +size 18009 diff --git a/experiment/demiter_aig/hard3_1.aig b/experiment/demiter_aig/hard3_1.aig new file mode 100644 index 0000000..b9efd85 --- /dev/null +++ b/experiment/demiter_aig/hard3_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:4ed47fe0b795fd8465d6b429fb65481f6ebfae919c0a631b4298e5a9ee3958c9 +size 16058 diff --git a/experiment/demiter_aig/hard3_2.aig b/experiment/demiter_aig/hard3_2.aig new file mode 100644 index 0000000..74ed4c6 --- /dev/null +++ b/experiment/demiter_aig/hard3_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:4e4da28f26fc60337e6998b8a55c22fc1e6f979e88fb057205ae5554a88afd79 +size 18588 diff --git a/experiment/demiter_aig/hard4_1.aig b/experiment/demiter_aig/hard4_1.aig new file mode 100644 index 0000000..722712c --- /dev/null +++ b/experiment/demiter_aig/hard4_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:602fd24a638585c1e94d74b0b60a0ba3fa9f0c00cb3fab0218633632968e751f +size 17683 diff --git a/experiment/demiter_aig/hard4_2.aig b/experiment/demiter_aig/hard4_2.aig new file mode 100644 index 0000000..c4d229d --- /dev/null +++ b/experiment/demiter_aig/hard4_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:8d60bcdc391c6ebb3392f6c6805f0307515f48a3dc9ca730c7cd0ed1bbdb57e7 +size 20562 diff --git a/experiment/demiter_aig/middle1_1.aig b/experiment/demiter_aig/middle1_1.aig new file mode 100644 index 0000000..548ab01 --- /dev/null +++ b/experiment/demiter_aig/middle1_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:4eb5fd5dc7a24f57ca17f6b57883e15eadd823efedb6b2c33a8e6abb76511cb0 +size 986 diff --git a/experiment/demiter_aig/middle1_2.aig b/experiment/demiter_aig/middle1_2.aig new file mode 100644 index 0000000..9186d59 --- /dev/null +++ b/experiment/demiter_aig/middle1_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:4929a5070922aec70e7bb4bffde97b7a2600f131772abef470a8cdad7426e985 +size 822 diff --git a/experiment/demiter_aig/middle2_1.aig b/experiment/demiter_aig/middle2_1.aig new file mode 100644 index 0000000..7e9388c --- /dev/null +++ b/experiment/demiter_aig/middle2_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:f9fa9ce1f71a563863778d12a2cc755e042baaefcc6d462a869c07b4eb47dfa1 +size 1748 diff --git a/experiment/demiter_aig/middle2_2.aig b/experiment/demiter_aig/middle2_2.aig new file mode 100644 index 0000000..6359bd2 --- /dev/null +++ b/experiment/demiter_aig/middle2_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:439b43112b563420ab5c38600a2939ce7758472144f5f6ef48f0910f6ae67fdb +size 1563 diff --git a/experiment/demiter_aig/middle3_1.aig b/experiment/demiter_aig/middle3_1.aig new file mode 100644 index 0000000..9e04cae --- /dev/null +++ b/experiment/demiter_aig/middle3_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:876ccd9db1da82c886ba6bc3aa5601bd0ef39c178bcb40a40627f4b79cc7edbd +size 2216 diff --git a/experiment/demiter_aig/middle3_2.aig b/experiment/demiter_aig/middle3_2.aig new file mode 100644 index 0000000..01f46e6 --- /dev/null +++ b/experiment/demiter_aig/middle3_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:e6210e739f524d0bbb7922587a4bdf76a22e225f7483250fe2121d6776852eb9 +size 2042 diff --git a/experiment/demiter_aig/mult_op_DEMO1_10_10_TOP11.blif_1.aig b/experiment/demiter_aig/mult_op_DEMO1_10_10_TOP11.blif_1.aig new file mode 100644 index 0000000..3413e9f --- /dev/null +++ b/experiment/demiter_aig/mult_op_DEMO1_10_10_TOP11.blif_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:907a0d4bb9e8bbc406d2a68bc83bc0df1d979763f97dcbe659d886b90e2c335d +size 1324 diff --git a/experiment/demiter_aig/mult_op_DEMO1_10_10_TOP11.blif_2.aig b/experiment/demiter_aig/mult_op_DEMO1_10_10_TOP11.blif_2.aig new file mode 100644 index 0000000..d8728c1 --- /dev/null +++ b/experiment/demiter_aig/mult_op_DEMO1_10_10_TOP11.blif_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:41040d22cea27f9a0fa1e2147fe5047ed3464e523230f2527f8de1e74dfea088 +size 1260 diff --git a/experiment/demiter_aig/mult_op_DEMO1_10_10_TOP14.blif_1.aig b/experiment/demiter_aig/mult_op_DEMO1_10_10_TOP14.blif_1.aig new file mode 100644 index 0000000..4d4b074 --- /dev/null +++ b/experiment/demiter_aig/mult_op_DEMO1_10_10_TOP14.blif_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:80fd834cb62c8d28219a4dd2e7a2e0407dcc7721769ad16bace1578ebc0e7e36 +size 1938 diff --git a/experiment/demiter_aig/mult_op_DEMO1_10_10_TOP14.blif_2.aig b/experiment/demiter_aig/mult_op_DEMO1_10_10_TOP14.blif_2.aig new file mode 100644 index 0000000..dbbd576 --- /dev/null +++ b/experiment/demiter_aig/mult_op_DEMO1_10_10_TOP14.blif_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:64c74714f387d8f2979d8db1dde9d5484d428a3af260db91a54cdfb6aff5e99c +size 1818 diff --git a/experiment/demiter_aig/mult_op_DEMO1_10_10_TOP17.blif_1.aig b/experiment/demiter_aig/mult_op_DEMO1_10_10_TOP17.blif_1.aig new file mode 100644 index 0000000..67ea6b3 --- /dev/null +++ b/experiment/demiter_aig/mult_op_DEMO1_10_10_TOP17.blif_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:678dee2a6cd7117e414673ad2f63b7c5c38a1365082c5b92dfb15ec9920f0bb0 +size 2255 diff --git a/experiment/demiter_aig/mult_op_DEMO1_10_10_TOP17.blif_2.aig b/experiment/demiter_aig/mult_op_DEMO1_10_10_TOP17.blif_2.aig new file mode 100644 index 0000000..ca1d83c --- /dev/null +++ b/experiment/demiter_aig/mult_op_DEMO1_10_10_TOP17.blif_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:76b4a1c5c9e06b7518bffb3c72e693b4275e36cba4a4a0bb05e8858119d563d8 +size 2219 diff --git a/experiment/demiter_aig/mult_op_DEMO1_12_12_TOP10.blif_1.aig b/experiment/demiter_aig/mult_op_DEMO1_12_12_TOP10.blif_1.aig new file mode 100644 index 0000000..8faca1d --- /dev/null +++ b/experiment/demiter_aig/mult_op_DEMO1_12_12_TOP10.blif_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:4849948ad0563e324f72ff2f2cdcba006dfef37e4612ffd51af37e5e71842554 +size 1108 diff --git a/experiment/demiter_aig/mult_op_DEMO1_12_12_TOP10.blif_2.aig b/experiment/demiter_aig/mult_op_DEMO1_12_12_TOP10.blif_2.aig new file mode 100644 index 0000000..7931c67 --- /dev/null +++ b/experiment/demiter_aig/mult_op_DEMO1_12_12_TOP10.blif_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:4b26256b5286c86716f1cc8667ec4e245cdaf6e293a8a918087a73db79b2e70b +size 1051 diff --git a/experiment/demiter_aig/mult_op_DEMO1_12_12_TOP13.blif_1.aig b/experiment/demiter_aig/mult_op_DEMO1_12_12_TOP13.blif_1.aig new file mode 100644 index 0000000..ac8757d --- /dev/null +++ b/experiment/demiter_aig/mult_op_DEMO1_12_12_TOP13.blif_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:f9adf85a7569885fe96f4aa9510310310893b3278305c475d552dd2156987a0d +size 1902 diff --git a/experiment/demiter_aig/mult_op_DEMO1_12_12_TOP13.blif_2.aig b/experiment/demiter_aig/mult_op_DEMO1_12_12_TOP13.blif_2.aig new file mode 100644 index 0000000..6329624 --- /dev/null +++ b/experiment/demiter_aig/mult_op_DEMO1_12_12_TOP13.blif_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:4ed78fc0cfca8282b78f8eecdbe11b08e2be756fda36f52e4098ec88d046d62b +size 1794 diff --git a/experiment/demiter_aig/mult_op_DEMO1_12_12_TOP17.blif_1.aig b/experiment/demiter_aig/mult_op_DEMO1_12_12_TOP17.blif_1.aig new file mode 100644 index 0000000..c28d856 --- /dev/null +++ b/experiment/demiter_aig/mult_op_DEMO1_12_12_TOP17.blif_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:e89b55bf7c18c511ce4dfe75df26408a85a3aaf5732efddd52c9e3268d6dfe1a +size 2923 diff --git a/experiment/demiter_aig/mult_op_DEMO1_12_12_TOP17.blif_2.aig b/experiment/demiter_aig/mult_op_DEMO1_12_12_TOP17.blif_2.aig new file mode 100644 index 0000000..f81c2ba --- /dev/null +++ b/experiment/demiter_aig/mult_op_DEMO1_12_12_TOP17.blif_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:5c7a1b8109c6cb4508d5c9bb6e869edc995c4cc0a62317922e782f0bff3c7b97 +size 2709 diff --git a/experiment/demiter_aig/mult_op_DEMO1_13_13_TOP11.blif_1.aig b/experiment/demiter_aig/mult_op_DEMO1_13_13_TOP11.blif_1.aig new file mode 100644 index 0000000..08bb606 --- /dev/null +++ b/experiment/demiter_aig/mult_op_DEMO1_13_13_TOP11.blif_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:2a6e4054967e4d7dc1cd7354b171b1615801318051ead850652e3e4c566934fb +size 1325 diff --git a/experiment/demiter_aig/mult_op_DEMO1_13_13_TOP11.blif_2.aig b/experiment/demiter_aig/mult_op_DEMO1_13_13_TOP11.blif_2.aig new file mode 100644 index 0000000..45c417d --- /dev/null +++ b/experiment/demiter_aig/mult_op_DEMO1_13_13_TOP11.blif_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:c83af31f9f9499592e10fbb06fe807dfe93f07472bc7c07a35dd4c8bed405d0b +size 1277 diff --git a/experiment/demiter_aig/mult_op_DEMO1_7_7_TOP8.blif_1.aig b/experiment/demiter_aig/mult_op_DEMO1_7_7_TOP8.blif_1.aig new file mode 100644 index 0000000..dd004e2 --- /dev/null +++ b/experiment/demiter_aig/mult_op_DEMO1_7_7_TOP8.blif_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:c799bcd2e5ff87f489e09c8355de4b5d931df2620ebf2311a67e80cc43b33198 +size 690 diff --git a/experiment/demiter_aig/mult_op_DEMO1_7_7_TOP8.blif_2.aig b/experiment/demiter_aig/mult_op_DEMO1_7_7_TOP8.blif_2.aig new file mode 100644 index 0000000..1e9314b --- /dev/null +++ b/experiment/demiter_aig/mult_op_DEMO1_7_7_TOP8.blif_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:7ab32b000f19c4597a2ec1c75069e704094b97caa7c713a14566fcba1a70f585 +size 666 diff --git a/experiment/demiter_aig/mult_op_DEMO1_8_8_TOP12.blif_1.aig b/experiment/demiter_aig/mult_op_DEMO1_8_8_TOP12.blif_1.aig new file mode 100644 index 0000000..0e9c7f2 --- /dev/null +++ b/experiment/demiter_aig/mult_op_DEMO1_8_8_TOP12.blif_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:584b6b2f9b86c65393741be7a8b0dd44708b32b6a169533dcfd95f4e7c4dd7e7 +size 1279 diff --git a/experiment/demiter_aig/mult_op_DEMO1_8_8_TOP12.blif_2.aig b/experiment/demiter_aig/mult_op_DEMO1_8_8_TOP12.blif_2.aig new file mode 100644 index 0000000..23c46be --- /dev/null +++ b/experiment/demiter_aig/mult_op_DEMO1_8_8_TOP12.blif_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:0945ad83be0b7efb0f81889822625321df7cae9818535327d118555ffcfe67de +size 1231 diff --git a/experiment/demiter_aig/mult_op_DEMO1_9_9_TOP10.blif_1.aig b/experiment/demiter_aig/mult_op_DEMO1_9_9_TOP10.blif_1.aig new file mode 100644 index 0000000..47db370 --- /dev/null +++ b/experiment/demiter_aig/mult_op_DEMO1_9_9_TOP10.blif_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:b3fc8e2ca11376c7a3da196dd81af79190f3179685646f9a0b2ce5c22804d107 +size 1083 diff --git a/experiment/demiter_aig/mult_op_DEMO1_9_9_TOP10.blif_2.aig b/experiment/demiter_aig/mult_op_DEMO1_9_9_TOP10.blif_2.aig new file mode 100644 index 0000000..d89746b --- /dev/null +++ b/experiment/demiter_aig/mult_op_DEMO1_9_9_TOP10.blif_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:e3280553c64b0873950dd6a424ba159226d0df17337d5b57d15acc050130bdbe +size 1028 diff --git a/experiment/demiter_aig/mult_op_DEMO1_9_9_TOP12.blif_1.aig b/experiment/demiter_aig/mult_op_DEMO1_9_9_TOP12.blif_1.aig new file mode 100644 index 0000000..5774269 --- /dev/null +++ b/experiment/demiter_aig/mult_op_DEMO1_9_9_TOP12.blif_1.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:1e8b06eac7b8fdce8154b410b5638d3de7a8458d5820555e2c3e6dada2fc57ca +size 1438 diff --git a/experiment/demiter_aig/mult_op_DEMO1_9_9_TOP12.blif_2.aig b/experiment/demiter_aig/mult_op_DEMO1_9_9_TOP12.blif_2.aig new file mode 100644 index 0000000..bb0e5f6 --- /dev/null +++ b/experiment/demiter_aig/mult_op_DEMO1_9_9_TOP12.blif_2.aig @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:8107f2cbfed1a8011112a0ca785365cf66f6fee3ae0f9d2a6d45c20a2f259057 +size 1345 diff --git a/experiment/demiter_verilog/TOP10_1.v b/experiment/demiter_verilog/TOP10_1.v new file mode 100644 index 0000000..417f317 --- /dev/null +++ b/experiment/demiter_verilog/TOP10_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:2db993aa158d550bf1d3a3df92a806cde1c35ae4341d07b23b11b8b6924a55e3 +size 70933 diff --git a/experiment/demiter_verilog/TOP10_2.v b/experiment/demiter_verilog/TOP10_2.v new file mode 100644 index 0000000..2516d3a --- /dev/null +++ b/experiment/demiter_verilog/TOP10_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:b3749311ac9cd1ffd30a3639a632667258c46fcdc12b471303636fb10e4f0ec6 +size 82119 diff --git a/experiment/demiter_verilog/TOP13_1.v b/experiment/demiter_verilog/TOP13_1.v new file mode 100644 index 0000000..975b387 --- /dev/null +++ b/experiment/demiter_verilog/TOP13_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:4a6b698987ad036fa67843df7c5a5ca09a76652dea5d8d5c4a256c36f0618ffe +size 119568 diff --git a/experiment/demiter_verilog/TOP13_2.v b/experiment/demiter_verilog/TOP13_2.v new file mode 100644 index 0000000..aa7d12c --- /dev/null +++ b/experiment/demiter_verilog/TOP13_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:09ddc2910c0d208bf5b268a9f87d207c45c7e1b961f78397051b501e7099fb28 +size 150075 diff --git a/experiment/demiter_verilog/TOP14_1.v b/experiment/demiter_verilog/TOP14_1.v new file mode 100644 index 0000000..5d57a11 --- /dev/null +++ b/experiment/demiter_verilog/TOP14_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:e7d11bd1bef0834a2d000c7c38f78275beb4d61a5ca7ed2ff50ad61b1063ff1d +size 138788 diff --git a/experiment/demiter_verilog/TOP14_2.v b/experiment/demiter_verilog/TOP14_2.v new file mode 100644 index 0000000..292905f --- /dev/null +++ b/experiment/demiter_verilog/TOP14_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:dae4dce7d360cc8619c58d2a31f770dd1a12415fb8295ecf1c53d5cf89c0e6ad +size 175580 diff --git a/experiment/demiter_verilog/TOP15_1.v b/experiment/demiter_verilog/TOP15_1.v new file mode 100644 index 0000000..26f1522 --- /dev/null +++ b/experiment/demiter_verilog/TOP15_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:a42041db2d2da465807e956c03ad6f2f0a3b26e2e470938078d52b64e66a655f +size 160012 diff --git a/experiment/demiter_verilog/TOP15_2.v b/experiment/demiter_verilog/TOP15_2.v new file mode 100644 index 0000000..e407d0f --- /dev/null +++ b/experiment/demiter_verilog/TOP15_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:fa08aaad19d3c03c2901d7aa7f18ec05526bd87169a73f34da09da498931d987 +size 204431 diff --git a/experiment/demiter_verilog/TOP16_1.v b/experiment/demiter_verilog/TOP16_1.v new file mode 100644 index 0000000..e395f27 --- /dev/null +++ b/experiment/demiter_verilog/TOP16_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:4eac6435736c24ee2476fff1d3ae3e7f8a7f499c11441aaff037f310c302e0cc +size 182751 diff --git a/experiment/demiter_verilog/TOP16_2.v b/experiment/demiter_verilog/TOP16_2.v new file mode 100644 index 0000000..75be060 --- /dev/null +++ b/experiment/demiter_verilog/TOP16_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:c8fc9ce79b0f99ee1ccfcce9c77371ac88c8be4ab21bd5caffaa15b60c6f59b6 +size 239284 diff --git a/experiment/demiter_verilog/TOP17_1.v b/experiment/demiter_verilog/TOP17_1.v new file mode 100644 index 0000000..97040f8 --- /dev/null +++ b/experiment/demiter_verilog/TOP17_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:3f0ab36cc866650f97da8f09f840290c7af13f4ecf9352ddd770c548845efb61 +size 184250 diff --git a/experiment/demiter_verilog/TOP17_2.v b/experiment/demiter_verilog/TOP17_2.v new file mode 100644 index 0000000..d01e095 --- /dev/null +++ b/experiment/demiter_verilog/TOP17_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:92582ecae453a5bd27ac549581f74a2903bdd76b72370452164aea7acf990036 +size 236218 diff --git a/experiment/demiter_verilog/TOP18_1.v b/experiment/demiter_verilog/TOP18_1.v new file mode 100644 index 0000000..f9ee2f1 --- /dev/null +++ b/experiment/demiter_verilog/TOP18_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:c623cfdaeedd157c05ec423101c482bf07f2befbf7a00e57628aabe0926c6d7e +size 223874 diff --git a/experiment/demiter_verilog/TOP18_2.v b/experiment/demiter_verilog/TOP18_2.v new file mode 100644 index 0000000..aef789a --- /dev/null +++ b/experiment/demiter_verilog/TOP18_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:885e698209ba8c95138c3e0aa874cbe4e02de2dc1c4274a32791444c6d7f38c5 +size 291712 diff --git a/experiment/demiter_verilog/TOP1_1.v b/experiment/demiter_verilog/TOP1_1.v new file mode 100644 index 0000000..092c07b --- /dev/null +++ b/experiment/demiter_verilog/TOP1_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:50c6bc9e996ead6d5749b4a6cbb243caaebd97b09e5b92fc561168b57dd33317 +size 1201 diff --git a/experiment/demiter_verilog/TOP1_2.v b/experiment/demiter_verilog/TOP1_2.v new file mode 100644 index 0000000..336bc39 --- /dev/null +++ b/experiment/demiter_verilog/TOP1_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:1ec7d52e3265bfaea1ce72f54536968a56da1effcd58e85da8675f4d6f064899 +size 1201 diff --git a/experiment/demiter_verilog/TOP20_1.v b/experiment/demiter_verilog/TOP20_1.v new file mode 100644 index 0000000..9cafd16 --- /dev/null +++ b/experiment/demiter_verilog/TOP20_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:babee764007d9110a60701b41ddf9b9ad94c11eeecaa80d54735d46ced0166fb +size 250985 diff --git a/experiment/demiter_verilog/TOP20_2.v b/experiment/demiter_verilog/TOP20_2.v new file mode 100644 index 0000000..bd8c19e --- /dev/null +++ b/experiment/demiter_verilog/TOP20_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:af47429f8d6d9634cb17136048a9f5c009d894ed3b378b30f9596cdfb7b689f7 +size 330268 diff --git a/experiment/demiter_verilog/TOP22_1.v b/experiment/demiter_verilog/TOP22_1.v new file mode 100644 index 0000000..075ebd0 --- /dev/null +++ b/experiment/demiter_verilog/TOP22_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:535706bfdc9af88dba74f06b8cc718b9b93a224171cb8660cd4ef9984ddcc8d5 +size 269732 diff --git a/experiment/demiter_verilog/TOP22_2.v b/experiment/demiter_verilog/TOP22_2.v new file mode 100644 index 0000000..547aa02 --- /dev/null +++ b/experiment/demiter_verilog/TOP22_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:2a8b4d72d3b66f7cc6b6c6f65d5e6ac6482b6968e649613c99e71c06d997f15d +size 351796 diff --git a/experiment/demiter_verilog/TOP23_1.v b/experiment/demiter_verilog/TOP23_1.v new file mode 100644 index 0000000..fcf96cd --- /dev/null +++ b/experiment/demiter_verilog/TOP23_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:3de66214d9098990ab6ce5abef827dbd42eaf0f597a41e3a9a996f2f1527c94a +size 362990 diff --git a/experiment/demiter_verilog/TOP23_2.v b/experiment/demiter_verilog/TOP23_2.v new file mode 100644 index 0000000..06f226f --- /dev/null +++ b/experiment/demiter_verilog/TOP23_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:2b2a857cec5f805cbe963b9a807fd1ed15b926c625693b57690c857f95c818c5 +size 477485 diff --git a/experiment/demiter_verilog/TOP24_1.v b/experiment/demiter_verilog/TOP24_1.v new file mode 100644 index 0000000..23b4adb --- /dev/null +++ b/experiment/demiter_verilog/TOP24_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:cf02da0309ebc4b3fef94e932032f2b57279946312923e7c1bab596a4c9eaf86 +size 290333 diff --git a/experiment/demiter_verilog/TOP24_2.v b/experiment/demiter_verilog/TOP24_2.v new file mode 100644 index 0000000..5b819e9 --- /dev/null +++ b/experiment/demiter_verilog/TOP24_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:b305fedd1933cc4c7801c48ca3ec52e274abaa19db917aa495f91a8fcb8d5c46 +size 380055 diff --git a/experiment/demiter_verilog/TOP26_1.v b/experiment/demiter_verilog/TOP26_1.v new file mode 100644 index 0000000..092213e --- /dev/null +++ b/experiment/demiter_verilog/TOP26_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:1c57aab9689eeb5bf32957078e664dc2f498b872c4dc48a2ce1a644bc19c8161 +size 262357 diff --git a/experiment/demiter_verilog/TOP26_2.v b/experiment/demiter_verilog/TOP26_2.v new file mode 100644 index 0000000..8db378b --- /dev/null +++ b/experiment/demiter_verilog/TOP26_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:920afaec36dca43b60155ed381e6451b06023c0e8c29822f4e086ec8491dee88 +size 342104 diff --git a/experiment/demiter_verilog/TOP29_1.v b/experiment/demiter_verilog/TOP29_1.v new file mode 100644 index 0000000..2084d9a --- /dev/null +++ b/experiment/demiter_verilog/TOP29_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:bd48503c59e1c2682961acb55d50e525dd4832f5e704ec393d5ee57122bda5a0 +size 509887 diff --git a/experiment/demiter_verilog/TOP29_2.v b/experiment/demiter_verilog/TOP29_2.v new file mode 100644 index 0000000..d2b2d09 --- /dev/null +++ b/experiment/demiter_verilog/TOP29_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:26700904e8498dab2cd602e9e5c0a8e10442bddeb94ffcad0304a478ac19ac04 +size 699320 diff --git a/experiment/demiter_verilog/TOP30_1.v b/experiment/demiter_verilog/TOP30_1.v new file mode 100644 index 0000000..5bd3d4c --- /dev/null +++ b/experiment/demiter_verilog/TOP30_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:d9274eeed96f3141dd6b521a32b68dc97631b1e151145d832bda3a65b5ec7638 +size 344220 diff --git a/experiment/demiter_verilog/TOP30_2.v b/experiment/demiter_verilog/TOP30_2.v new file mode 100644 index 0000000..beca71c --- /dev/null +++ b/experiment/demiter_verilog/TOP30_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:dd9973cd858fb885e0d5d3c1871fd0ed664a1274d81a24b90150c5adae6d1b5f +size 466290 diff --git a/experiment/demiter_verilog/TOP32_1.v b/experiment/demiter_verilog/TOP32_1.v new file mode 100644 index 0000000..a245c2d --- /dev/null +++ b/experiment/demiter_verilog/TOP32_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:5711ca1a474e5aaedbf4426e2a0b63d10213dd11da5e2bb3489dd7eef95b8d79 +size 404811 diff --git a/experiment/demiter_verilog/TOP32_2.v b/experiment/demiter_verilog/TOP32_2.v new file mode 100644 index 0000000..28371b0 --- /dev/null +++ b/experiment/demiter_verilog/TOP32_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:b1b23ae66b5d55729ddf8107abcb65a4a6f9c0cdd454201e67e160cc5b7425ac +size 538474 diff --git a/experiment/demiter_verilog/TOP34_1.v b/experiment/demiter_verilog/TOP34_1.v new file mode 100644 index 0000000..5cac328 --- /dev/null +++ b/experiment/demiter_verilog/TOP34_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:1a24769073e82ca29dcc1d4fd04fe16e6eb47d937026b665e589ea165a8d5c5a +size 640264 diff --git a/experiment/demiter_verilog/TOP34_2.v b/experiment/demiter_verilog/TOP34_2.v new file mode 100644 index 0000000..e0a3bd2 --- /dev/null +++ b/experiment/demiter_verilog/TOP34_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:75af6650f9fdd40ce1d15ac6e23d277e8b2f6c2e5ccfc64796a4531075a7ac6f +size 865322 diff --git a/experiment/demiter_verilog/TOP4_1.v b/experiment/demiter_verilog/TOP4_1.v new file mode 100644 index 0000000..a44376d --- /dev/null +++ b/experiment/demiter_verilog/TOP4_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:7a47b3b65039f91c701daf0432544c9d93f8b2604d7c8df2dce1435477815b16 +size 13036 diff --git a/experiment/demiter_verilog/TOP4_2.v b/experiment/demiter_verilog/TOP4_2.v new file mode 100644 index 0000000..e2e034b --- /dev/null +++ b/experiment/demiter_verilog/TOP4_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:ceb430b3ccfbf8f5942c827aa10417ce4295be4f28e04593935a77812126e630 +size 10866 diff --git a/experiment/demiter_verilog/TOP5_1.v b/experiment/demiter_verilog/TOP5_1.v new file mode 100644 index 0000000..485c23a --- /dev/null +++ b/experiment/demiter_verilog/TOP5_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:d03fdb63ec67fa6f272afa4e8e951fc2be811dc6a41e42ce4e27a3b86015d037 +size 15079 diff --git a/experiment/demiter_verilog/TOP5_2.v b/experiment/demiter_verilog/TOP5_2.v new file mode 100644 index 0000000..3aa89e8 --- /dev/null +++ b/experiment/demiter_verilog/TOP5_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:39de9d36d23ee343704ce12f7f1b9862b24396f911e81f218012c37a5cfe1e62 +size 16683 diff --git a/experiment/demiter_verilog/TOP6_1.v b/experiment/demiter_verilog/TOP6_1.v new file mode 100644 index 0000000..db622cc --- /dev/null +++ b/experiment/demiter_verilog/TOP6_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:a76dfd48ed543766615e1556e582dc9cb7a01e0cd785758b4abe14903303ba45 +size 22635 diff --git a/experiment/demiter_verilog/TOP6_2.v b/experiment/demiter_verilog/TOP6_2.v new file mode 100644 index 0000000..affbdf3 --- /dev/null +++ b/experiment/demiter_verilog/TOP6_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:7d20e07cdd06f7dbff32e024b9b393beb33250fedfd99086f28568be6d0c85d1 +size 25033 diff --git a/experiment/demiter_verilog/TOP7_1.v b/experiment/demiter_verilog/TOP7_1.v new file mode 100644 index 0000000..219352f --- /dev/null +++ b/experiment/demiter_verilog/TOP7_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:4a6d2e8142c537bc15cd0b0ea3f210f1168383fae8a6b84f7f9de6854a6ad2c1 +size 35329 diff --git a/experiment/demiter_verilog/TOP7_2.v b/experiment/demiter_verilog/TOP7_2.v new file mode 100644 index 0000000..b626990 --- /dev/null +++ b/experiment/demiter_verilog/TOP7_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:4373b4a7a97b171ca9b920fe199abec3bc2c05b223698300a1d3cb0a8d26ed5a +size 35972 diff --git a/experiment/demiter_verilog/TOP8_1.v b/experiment/demiter_verilog/TOP8_1.v new file mode 100644 index 0000000..985d832 --- /dev/null +++ b/experiment/demiter_verilog/TOP8_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:21fa1630f4b24b2c739c55452ea770d59b34e79d49cf9cc5ef1c9b2f68208a0a +size 45740 diff --git a/experiment/demiter_verilog/TOP8_2.v b/experiment/demiter_verilog/TOP8_2.v new file mode 100644 index 0000000..94829c2 --- /dev/null +++ b/experiment/demiter_verilog/TOP8_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:4fab4f7473545ff3afdcb958024693c2aefd796eea217f9ae88331ecfd1d128f +size 48313 diff --git a/experiment/demiter_verilog/TOP9_1.v b/experiment/demiter_verilog/TOP9_1.v new file mode 100644 index 0000000..8ee4695 --- /dev/null +++ b/experiment/demiter_verilog/TOP9_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:087c099841a24cb808da0691741663fb67bd7f7a3e67cca37b2f9f62b15a2eb2 +size 57397 diff --git a/experiment/demiter_verilog/TOP9_2.v b/experiment/demiter_verilog/TOP9_2.v new file mode 100644 index 0000000..2305be6 --- /dev/null +++ b/experiment/demiter_verilog/TOP9_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:459baf8591cc8e0d8b2d5ed96cd648d77dddc1d425408bf4c732bf44e917d421 +size 64437 diff --git a/experiment/demiter_verilog/easy1_1.v b/experiment/demiter_verilog/easy1_1.v new file mode 100644 index 0000000..50113fe --- /dev/null +++ b/experiment/demiter_verilog/easy1_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:9f91893c972dd0ed12b0c53fc96f3d832a6680b126b3a8b7201552b956749248 +size 8969 diff --git a/experiment/demiter_verilog/easy1_2.v b/experiment/demiter_verilog/easy1_2.v new file mode 100644 index 0000000..e42c775 --- /dev/null +++ b/experiment/demiter_verilog/easy1_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:adbeb3d271a91a0a9b8f218be02e64553e7b4c51ca927c1cd8e85ad9972f18cc +size 8870 diff --git a/experiment/demiter_verilog/easy2_1.v b/experiment/demiter_verilog/easy2_1.v new file mode 100644 index 0000000..5837443 --- /dev/null +++ b/experiment/demiter_verilog/easy2_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:dcbe3a8611c4c37c2dfde7cc8f899b5c8762ea34f3b53478b20c3cf9f3ff1b52 +size 15317 diff --git a/experiment/demiter_verilog/easy2_2.v b/experiment/demiter_verilog/easy2_2.v new file mode 100644 index 0000000..a091b5f --- /dev/null +++ b/experiment/demiter_verilog/easy2_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:179d651a6ea3ca8f0831118e78a9758df29e43415839aa61f8c66df40f4e7990 +size 15353 diff --git a/experiment/demiter_verilog/hard1_1.v b/experiment/demiter_verilog/hard1_1.v new file mode 100644 index 0000000..d13615f --- /dev/null +++ b/experiment/demiter_verilog/hard1_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:a0dc358c3d37ef5687b3980feb3ea280676d630632c2dee4f3558878135bd89e +size 327114 diff --git a/experiment/demiter_verilog/hard1_2.v b/experiment/demiter_verilog/hard1_2.v new file mode 100644 index 0000000..947d2b8 --- /dev/null +++ b/experiment/demiter_verilog/hard1_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:0925fe0781dce2f9685a92290a8f46049899c288f0389222f91074185c4b854d +size 417247 diff --git a/experiment/demiter_verilog/hard2_1.v b/experiment/demiter_verilog/hard2_1.v new file mode 100644 index 0000000..957382f --- /dev/null +++ b/experiment/demiter_verilog/hard2_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:ac8b103da10c50b1aeda7c4a1ca4b8bf25496bd7ea0ada3cf99c6a6a5e9d1dbc +size 357357 diff --git a/experiment/demiter_verilog/hard2_2.v b/experiment/demiter_verilog/hard2_2.v new file mode 100644 index 0000000..a73969d --- /dev/null +++ b/experiment/demiter_verilog/hard2_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:8705952afafed622fa43827bb4e5ac6323a4cc78ae722ded12ac890a869e5869 +size 457827 diff --git a/experiment/demiter_verilog/hard3_1.v b/experiment/demiter_verilog/hard3_1.v new file mode 100644 index 0000000..eb13897 --- /dev/null +++ b/experiment/demiter_verilog/hard3_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:ea77c447019019b4992b6ba0b004fc505439fd90e4993acd1e2fe8d215cd0d65 +size 369883 diff --git a/experiment/demiter_verilog/hard3_2.v b/experiment/demiter_verilog/hard3_2.v new file mode 100644 index 0000000..3aebb2d --- /dev/null +++ b/experiment/demiter_verilog/hard3_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:c2dfbff2e54b3b9b6c3df4b068906d28e294bff5c58c51105dd0ca8087882b8e +size 474074 diff --git a/experiment/demiter_verilog/hard4_1.v b/experiment/demiter_verilog/hard4_1.v new file mode 100644 index 0000000..f92f1f4 --- /dev/null +++ b/experiment/demiter_verilog/hard4_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:d207dcc9ad73715939a85bd49ec7cd7813fbacb5964991254c0cd98a50d48c35 +size 407355 diff --git a/experiment/demiter_verilog/hard4_2.v b/experiment/demiter_verilog/hard4_2.v new file mode 100644 index 0000000..3595526 --- /dev/null +++ b/experiment/demiter_verilog/hard4_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:c2d8489780287102125e33c36e2369e0b58d6cbb5bb9e65aac7770a576b13cf0 +size 524563 diff --git a/experiment/demiter_verilog/middle1_1.v b/experiment/demiter_verilog/middle1_1.v new file mode 100644 index 0000000..3d62ebb --- /dev/null +++ b/experiment/demiter_verilog/middle1_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:da0e91a9053a7205b0ef66b435bcf2f407d75fd02a0dc36cc9af76b67534ef27 +size 18964 diff --git a/experiment/demiter_verilog/middle1_2.v b/experiment/demiter_verilog/middle1_2.v new file mode 100644 index 0000000..2de9c9c --- /dev/null +++ b/experiment/demiter_verilog/middle1_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:793e05ad39fa28b18cdd2316ff7479980c152950292026cc79502b8bab08a1d2 +size 16736 diff --git a/experiment/demiter_verilog/middle2_1.v b/experiment/demiter_verilog/middle2_1.v new file mode 100644 index 0000000..c84b3ed --- /dev/null +++ b/experiment/demiter_verilog/middle2_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:25d423a869f5fddc3c2a0cadebcb69885f0ab1058e5aa7038235acf730007497 +size 36210 diff --git a/experiment/demiter_verilog/middle2_2.v b/experiment/demiter_verilog/middle2_2.v new file mode 100644 index 0000000..70eb082 --- /dev/null +++ b/experiment/demiter_verilog/middle2_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:7324fafe74f088fcb82b4e7728407727eb97454902cbf5c72f7dcfec482b8145 +size 35781 diff --git a/experiment/demiter_verilog/middle3_1.v b/experiment/demiter_verilog/middle3_1.v new file mode 100644 index 0000000..f4c4138 --- /dev/null +++ b/experiment/demiter_verilog/middle3_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:8cbe6ab1b0879680eeaa10136a25e404b7baa690f87b8b905f13947d7b43d78e +size 46725 diff --git a/experiment/demiter_verilog/middle3_2.v b/experiment/demiter_verilog/middle3_2.v new file mode 100644 index 0000000..78820e1 --- /dev/null +++ b/experiment/demiter_verilog/middle3_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:e178ab28c55024ddd643d656b00ba651287de5ce34e76b143f360c84a49fa4d1 +size 48227 diff --git a/experiment/demiter_verilog/mult_op_DEMO1_10_10_TOP11.blif_1.v b/experiment/demiter_verilog/mult_op_DEMO1_10_10_TOP11.blif_1.v new file mode 100644 index 0000000..d781ae2 --- /dev/null +++ b/experiment/demiter_verilog/mult_op_DEMO1_10_10_TOP11.blif_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:b908d23de3889def83d94a1f03a9693fd70cd9ec804ef06c56b199a11872e3ec +size 27587 diff --git a/experiment/demiter_verilog/mult_op_DEMO1_10_10_TOP11.blif_2.v b/experiment/demiter_verilog/mult_op_DEMO1_10_10_TOP11.blif_2.v new file mode 100644 index 0000000..c8ffc2b --- /dev/null +++ b/experiment/demiter_verilog/mult_op_DEMO1_10_10_TOP11.blif_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:bb3e7fcbe335d2633731bd02c278f83caf46fa7e81c0b922abd86a3b5937d018 +size 27542 diff --git a/experiment/demiter_verilog/mult_op_DEMO1_10_10_TOP14.blif_1.v b/experiment/demiter_verilog/mult_op_DEMO1_10_10_TOP14.blif_1.v new file mode 100644 index 0000000..52b4ec2 --- /dev/null +++ b/experiment/demiter_verilog/mult_op_DEMO1_10_10_TOP14.blif_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:fabe2181271296a03324cc8213664ede954b73956cbeafd2427d284b028fdf23 +size 41342 diff --git a/experiment/demiter_verilog/mult_op_DEMO1_10_10_TOP14.blif_2.v b/experiment/demiter_verilog/mult_op_DEMO1_10_10_TOP14.blif_2.v new file mode 100644 index 0000000..0ff891c --- /dev/null +++ b/experiment/demiter_verilog/mult_op_DEMO1_10_10_TOP14.blif_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:a0b156c505635831ae1aafe74622deec47cc62b4a978fa777217190a6dfdde59 +size 41274 diff --git a/experiment/demiter_verilog/mult_op_DEMO1_10_10_TOP17.blif_1.v b/experiment/demiter_verilog/mult_op_DEMO1_10_10_TOP17.blif_1.v new file mode 100644 index 0000000..2612654 --- /dev/null +++ b/experiment/demiter_verilog/mult_op_DEMO1_10_10_TOP17.blif_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:47b21f7df122dbe46318a2e5b18560b36b1a9e1fb2ca7d058ad4905e95e05c9d +size 49250 diff --git a/experiment/demiter_verilog/mult_op_DEMO1_10_10_TOP17.blif_2.v b/experiment/demiter_verilog/mult_op_DEMO1_10_10_TOP17.blif_2.v new file mode 100644 index 0000000..d20f062 --- /dev/null +++ b/experiment/demiter_verilog/mult_op_DEMO1_10_10_TOP17.blif_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:9c985375eceb993ecf5969e8e82c658c48244a16d53b81d292cb816bcd943488 +size 50777 diff --git a/experiment/demiter_verilog/mult_op_DEMO1_12_12_TOP10.blif_1.v b/experiment/demiter_verilog/mult_op_DEMO1_12_12_TOP10.blif_1.v new file mode 100644 index 0000000..8d24d0f --- /dev/null +++ b/experiment/demiter_verilog/mult_op_DEMO1_12_12_TOP10.blif_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:67631c0e781a6526de28d57ed0e5a83c1db32ab24337da98a62c790b3fd4219f +size 22311 diff --git a/experiment/demiter_verilog/mult_op_DEMO1_12_12_TOP10.blif_2.v b/experiment/demiter_verilog/mult_op_DEMO1_12_12_TOP10.blif_2.v new file mode 100644 index 0000000..e999919 --- /dev/null +++ b/experiment/demiter_verilog/mult_op_DEMO1_12_12_TOP10.blif_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:b036f152fe0f83eff651e228db20f6318144b97e29fffe0496ec1968c7862f76 +size 22315 diff --git a/experiment/demiter_verilog/mult_op_DEMO1_12_12_TOP13.blif_1.v b/experiment/demiter_verilog/mult_op_DEMO1_12_12_TOP13.blif_1.v new file mode 100644 index 0000000..d6d0652 --- /dev/null +++ b/experiment/demiter_verilog/mult_op_DEMO1_12_12_TOP13.blif_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:be02bc04df9687d7e76a40801721c9930ec0982b37cf77dd7727f2bc01ea216c +size 41168 diff --git a/experiment/demiter_verilog/mult_op_DEMO1_12_12_TOP13.blif_2.v b/experiment/demiter_verilog/mult_op_DEMO1_12_12_TOP13.blif_2.v new file mode 100644 index 0000000..772816e --- /dev/null +++ b/experiment/demiter_verilog/mult_op_DEMO1_12_12_TOP13.blif_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:25bc63d1e9202a8411655a9ff93c9060fa06439b16771d669dde9e276c48a164 +size 40733 diff --git a/experiment/demiter_verilog/mult_op_DEMO1_12_12_TOP17.blif_1.v b/experiment/demiter_verilog/mult_op_DEMO1_12_12_TOP17.blif_1.v new file mode 100644 index 0000000..9a3ac5b --- /dev/null +++ b/experiment/demiter_verilog/mult_op_DEMO1_12_12_TOP17.blif_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:17fef7a111dad2a089118247071bff530d02cdd3fee76e9dd7c69606db5f247f +size 64164 diff --git a/experiment/demiter_verilog/mult_op_DEMO1_12_12_TOP17.blif_2.v b/experiment/demiter_verilog/mult_op_DEMO1_12_12_TOP17.blif_2.v new file mode 100644 index 0000000..91ef70d --- /dev/null +++ b/experiment/demiter_verilog/mult_op_DEMO1_12_12_TOP17.blif_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:07980bbddf4be3fcef89687d18087e25d13b37dae3bbcf4e0ea5c4ead8889754 +size 63173 diff --git a/experiment/demiter_verilog/mult_op_DEMO1_13_13_TOP11.blif_1.v b/experiment/demiter_verilog/mult_op_DEMO1_13_13_TOP11.blif_1.v new file mode 100644 index 0000000..13ba1d3 --- /dev/null +++ b/experiment/demiter_verilog/mult_op_DEMO1_13_13_TOP11.blif_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:c998086868ab78a9073711692b1ac9c6045934964ea6177060b58d23e3407145 +size 26206 diff --git a/experiment/demiter_verilog/mult_op_DEMO1_13_13_TOP11.blif_2.v b/experiment/demiter_verilog/mult_op_DEMO1_13_13_TOP11.blif_2.v new file mode 100644 index 0000000..c0173f0 --- /dev/null +++ b/experiment/demiter_verilog/mult_op_DEMO1_13_13_TOP11.blif_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:4dce5d58c623861859864cc35f10dd388e072cbc97d8c99f99ba0ab5e9cadf6e +size 28063 diff --git a/experiment/demiter_verilog/mult_op_DEMO1_7_7_TOP8.blif_1.v b/experiment/demiter_verilog/mult_op_DEMO1_7_7_TOP8.blif_1.v new file mode 100644 index 0000000..0d96368 --- /dev/null +++ b/experiment/demiter_verilog/mult_op_DEMO1_7_7_TOP8.blif_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:aeef7091fe4f70a1d4cc41989435181067c2c7d2ed4921c7f38918c2dbee87ed +size 12291 diff --git a/experiment/demiter_verilog/mult_op_DEMO1_7_7_TOP8.blif_2.v b/experiment/demiter_verilog/mult_op_DEMO1_7_7_TOP8.blif_2.v new file mode 100644 index 0000000..71e2811 --- /dev/null +++ b/experiment/demiter_verilog/mult_op_DEMO1_7_7_TOP8.blif_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:c91ecc4f28ccac4f88781cd29ac348c0de0c408371c2a5352550840d2a79aaae +size 12153 diff --git a/experiment/demiter_verilog/mult_op_DEMO1_8_8_TOP12.blif_1.v b/experiment/demiter_verilog/mult_op_DEMO1_8_8_TOP12.blif_1.v new file mode 100644 index 0000000..f3e047f --- /dev/null +++ b/experiment/demiter_verilog/mult_op_DEMO1_8_8_TOP12.blif_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:565cc3cef0edcfb91d45756e87df0d3f293a0f63fc90351d252881f7cf9700d6 +size 26419 diff --git a/experiment/demiter_verilog/mult_op_DEMO1_8_8_TOP12.blif_2.v b/experiment/demiter_verilog/mult_op_DEMO1_8_8_TOP12.blif_2.v new file mode 100644 index 0000000..798c98d --- /dev/null +++ b/experiment/demiter_verilog/mult_op_DEMO1_8_8_TOP12.blif_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:6a977a5caf0583646cedb0f4e7f7f0398ba67affc78736139192294647880724 +size 27024 diff --git a/experiment/demiter_verilog/mult_op_DEMO1_9_9_TOP10.blif_1.v b/experiment/demiter_verilog/mult_op_DEMO1_9_9_TOP10.blif_1.v new file mode 100644 index 0000000..b65d82b --- /dev/null +++ b/experiment/demiter_verilog/mult_op_DEMO1_9_9_TOP10.blif_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:c0a719012c0a567a35f886b5c251293802f335c29dba6720723b12ef7c9ca9a0 +size 21811 diff --git a/experiment/demiter_verilog/mult_op_DEMO1_9_9_TOP10.blif_2.v b/experiment/demiter_verilog/mult_op_DEMO1_9_9_TOP10.blif_2.v new file mode 100644 index 0000000..afb0aa9 --- /dev/null +++ b/experiment/demiter_verilog/mult_op_DEMO1_9_9_TOP10.blif_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:085551cdce7fe5b3d19165f5795dd036655250e6e7a2ffcf65059d97208c306a +size 21698 diff --git a/experiment/demiter_verilog/mult_op_DEMO1_9_9_TOP12.blif_1.v b/experiment/demiter_verilog/mult_op_DEMO1_9_9_TOP12.blif_1.v new file mode 100644 index 0000000..21aa033 --- /dev/null +++ b/experiment/demiter_verilog/mult_op_DEMO1_9_9_TOP12.blif_1.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:3dffb33c0f5e16d3e838b35fb2334a2e7e4bf33ec6060486b0e7c996a38052cd +size 30205 diff --git a/experiment/demiter_verilog/mult_op_DEMO1_9_9_TOP12.blif_2.v b/experiment/demiter_verilog/mult_op_DEMO1_9_9_TOP12.blif_2.v new file mode 100644 index 0000000..1b8dea7 --- /dev/null +++ b/experiment/demiter_verilog/mult_op_DEMO1_9_9_TOP12.blif_2.v @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:c70853ef2d79a146ee7dd78bff44715d0a3917dd9a2e02aeed3df7f501b0df04 +size 29817