|
90a85d9119
|
v1.6: 结合SAT-ATPG,覆盖率拉满
|
2023-08-17 13:03:08 +00:00 |
|
|
30eac7dc0e
|
v1.5: 第一个基准测试版本
|
2023-08-14 06:40:21 +00:00 |
|
|
2dc85e3e88
|
v1.4: 初步解决了效率问题
|
2023-08-14 02:57:32 +00:00 |
|
|
ba70167a6b
|
v1.0: 实现了ATPG全流程
|
2023-08-09 07:47:50 +00:00 |
|
|
535cc3bd81
|
带sim的版本
|
2023-07-31 05:55:25 +00:00 |
|
|
4aa1c086b7
|
比较高效的分数计算
|
2023-07-18 10:52:51 +00:00 |
|
|
c80b0ea45b
|
划分LUT
|
2023-07-03 06:52:47 +00:00 |
|
|
85cd5aa62b
|
没有问题的good_var,但是巨慢
|
2023-05-09 23:14:22 +08:00 |
|
|
cc370586ae
|
同步代码
|
2023-05-07 04:48:44 +00:00 |
|
|
87b8d2ab6c
|
完成 flip 的逻辑
|
2023-02-19 19:42:50 +08:00 |
|