diff --git a/atpg b/atpg index 1dcbd29..0d5a10d 100755 Binary files a/atpg and b/atpg differ diff --git a/benchmark/b02.bench b/benchmark/b02.bench deleted file mode 100644 index c56796d..0000000 --- a/benchmark/b02.bench +++ /dev/null @@ -1,35 +0,0 @@ -# generated by verilog2bench.py https://gitea.yuhangq.com/YuhangQ/any2bench -INPUT(NET_1) -INPUT(NET_2) -INPUT(NET_3) -INPUT(NET_4) -INPUT(NET_5) -OUTPUT(NET_12) -OUTPUT(NET_23) -OUTPUT(NET_27) -OUTPUT(NET_28) -OUTPUT(NET_6) -new_n11_ = NOT ( NET_3 ) -new_n12_ = NOT ( NET_4 ) -NET_12 = AND ( new_n12_, new_n11_, NET_2 ) -new_n14_ = NOR ( new_n11_, NET_2 ) -new_n15_ = NAND ( new_n14_, new_n12_ ) -new_n16_ = NOR ( NET_3, NET_1 ) -new_n17_ = NOR ( new_n16_, NET_2 ) -new_n18_ = OR ( new_n17_, new_n12_ ) -NET_23 = NAND ( new_n18_, new_n15_ ) -new_n20_ = NOR ( new_n11_, NET_1 ) -new_n21_ = OR ( new_n20_, NET_4 ) -new_n22_ = NAND ( new_n21_, NET_2 ) -new_n23_ = NOT ( NET_1 ) -new_n24_ = NOR ( new_n14_, NET_4 ) -new_n25_ = OR ( new_n24_, new_n23_ ) -new_n26_ = NAND ( NET_4, NET_3 ) -NET_27 = NAND ( new_n26_, new_n25_, new_n22_ ) -new_n28_ = NOR ( NET_4, NET_2, NET_1 ) -new_n29_ = NOR ( NET_2, new_n23_ ) -new_n30_ = NOR ( new_n29_, new_n12_ ) -new_n31_ = NOR ( new_n30_, NET_3 ) -NET_28 = OR ( new_n31_, new_n28_ ) -NET_6 = BUF ( NET_5 ) -NET_2313123 = DFF ( NET_5 ) \ No newline at end of file diff --git a/check.log b/check.log index e063a68..b73880f 100644 --- a/check.log +++ b/check.log @@ -1,6 +1,9 @@ -[1/6] 任务 ./bench_test/c880.bench -[2/6] 任务 ./bench_test/c3540.bench -[3/6] 任务 ./bench_test/c499.bench -[4/6] 任务 ./bench_test/c1355.bench -[5/6] 任务 ./bench_test/c6288.bench -[6/6] 任务 ./bench_test/c1908.bench +[1/26] 任务 ./benchmark/c17.bench +[2/26] 任务 ./benchmark/b06.bench +[3/26] 任务 ./benchmark/b01.bench +[4/26] 任务 ./benchmark/b03.bench +[5/26] 任务 ./benchmark/b10.bench +[6/26] 任务 ./benchmark/b09.bench +[7/26] 任务 ./benchmark/b08.bench +[8/26] 任务 ./benchmark/c880.bench +[9/26] 任务 ./benchmark/c499.bench diff --git a/run_exp.py b/run_exp.py index b547197..018cbad 100644 --- a/run_exp.py +++ b/run_exp.py @@ -3,12 +3,12 @@ from concurrent.futures import ThreadPoolExecutor, wait, ALL_COMPLETED, FIRST_CO import time import re -pool = ThreadPoolExecutor(max_workers=7) +pool = ThreadPoolExecutor(max_workers=96) -TIMEOUT = 60 +TIMEOUT = 2000 work_dir = "." -data_dir = "./bench_test" +data_dir = "./benchmark" data_suffix = ".bench" res_dir = "exp_result" @@ -57,6 +57,7 @@ class ATPGLS: return run_shell_command("./crun %s" % filename, output_file, timeout) def analyse(output_file): + print("anal:" + output_file) content = open(output_file, "r").read() p1 = re.compile(r'coverage\s*:\s*(\d+\.\d+)\s*%', re.S) coverage = p1.findall(content)[-1] @@ -222,4 +223,4 @@ if __name__ == '__main__': s = s + 1 logger.log("[{}/{}] 任务 {}".format(s, len(all_task), data)) - table.print_table() \ No newline at end of file + table.print_table()