• Joined on 2022-10-23
YuhangQ pushed to main at YuhangQ/formality_cec 2024-12-04 08:59:35 +00:00
d519dd68d4 upload(experiment): 生成了 verilog
YuhangQ pushed to newc at YuhangQ/atpg-ls 2023-11-11 04:20:30 +00:00
9fdc584fe6 newc
YuhangQ pushed to main at YuhangQ/reserve 2023-09-24 06:36:20 +00:00
b82f020b53 fix bug
YuhangQ pushed to main at YuhangQ/reserve 2023-09-24 06:31:18 +00:00
7cf25a1050 更改时间段
YuhangQ created branch main in YuhangQ/reserve 2023-09-20 11:01:41 +00:00
YuhangQ pushed to main at YuhangQ/reserve 2023-09-20 11:01:41 +00:00
5732299d51 first commit
YuhangQ created repository YuhangQ/reserve 2023-09-20 11:00:50 +00:00
YuhangQ created branch newc in YuhangQ/atpg-ls 2023-08-24 12:16:50 +00:00
YuhangQ pushed to newc at YuhangQ/atpg-ls 2023-08-24 12:16:50 +00:00
YuhangQ pushed to LUT at YuhangQ/atpg-ls 2023-08-24 12:16:19 +00:00
7a9f51f50e v2.6: 换方向了
YuhangQ pushed to LUT at YuhangQ/atpg-ls 2023-08-24 08:31:53 +00:00
2943676f0d v2.5: 减小just的概率
YuhangQ pushed to LUT at YuhangQ/atpg-ls 2023-08-24 06:59:20 +00:00
a924f08764 v2.3: unsat门随机翻转前面
YuhangQ pushed to LUT at YuhangQ/atpg-ls 2023-08-24 04:46:24 +00:00
fa63cbb8be v2.2: 降低了vunsat权重
YuhangQ pushed to LUT at YuhangQ/atpg-ls 2023-08-24 04:25:38 +00:00
87464695e0 v2.1: t=50
YuhangQ pushed to LUT at YuhangQ/atpg-ls 2023-08-24 03:17:52 +00:00
64dbc5c402 v2.0: 修复了许多问题,可以作为基准版本了
YuhangQ created branch sim in YuhangQ/atpg-ls 2023-08-22 08:04:10 +00:00
YuhangQ pushed to sim at YuhangQ/atpg-ls 2023-08-22 08:04:10 +00:00
YuhangQ pushed to LUT at YuhangQ/atpg-ls 2023-08-22 07:06:24 +00:00
dcc8a7262b v1.8: 仍然存在各种BUG
YuhangQ pushed to LUT at YuhangQ/atpg-ls 2023-08-21 08:54:01 +00:00
5ba2dbde89 v1.7: 优化了stuck-at模型,但还是存在BUG
YuhangQ pushed to main at YuhangQ/cloud-sat 2023-05-13 14:41:18 +00:00
c1fb74d3d9 最新版本