YuhangQ/atpg-ls
1
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
37 Commits 8 Branches 0 Tags
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
YuhangQ c3efc6aafb 引入 CCAnr 源代码
2023-03-19 06:32:08 +00:00
.vscode
可以运行的clause LS，下一步移植到CCAnr到本程序
2023-03-17 07:11:30 +00:00
benchmark
增加结果
2023-03-09 12:58:14 +08:00
CCAnr
引入 CCAnr 源代码
2023-03-19 06:32:08 +00:00
report
vscode自动编译调试程序
2023-03-11 07:02:02 +00:00
_c6288.txt
最初版本完工
2023-02-23 11:00:24 +08:00
.gitignore
修改成字句ls
2023-03-17 05:37:29 +00:00
atpg
引入 CCAnr 源代码
2023-03-19 06:32:08 +00:00
c432.bench
完成了读入部分和电路数据结构的设计和实现
2023-02-11 21:52:59 +08:00
c432.report
修复了旧版的BUG
2023-03-03 07:33:14 +00:00
c6288.bench
最初版本完工
2023-02-23 11:00:24 +08:00
check.log
增量 STEM-INC 实验
2023-03-09 14:54:23 +08:00
circuit.cpp
可以运行的clause LS，下一步移植到CCAnr到本程序
2023-03-17 07:11:30 +00:00
circuit.h
修改成字句ls
2023-03-17 05:37:29 +00:00
clause.cpp
可以运行的clause LS，下一步移植到CCAnr到本程序
2023-03-17 07:11:30 +00:00
clause.h
可以运行的clause LS，下一步移植到CCAnr到本程序
2023-03-17 07:11:30 +00:00
crun
完成 flip 的逻辑
2023-02-19 19:42:50 +08:00
gate.cpp
存在bug的新版
2023-03-13 05:44:49 +00:00
ls.cpp
可以运行的clause LS，下一步移植到CCAnr到本程序
2023-03-17 07:11:30 +00:00
main.cpp
修改成字句ls
2023-03-17 05:37:29 +00:00
makefile
引入 CCAnr 源代码
2023-03-19 06:32:08 +00:00
option.h
可以运行的clause LS，下一步移植到CCAnr到本程序
2023-03-17 07:11:30 +00:00
parser.cpp
存在bug的新版
2023-03-13 05:44:49 +00:00
README.md
first commit
2023-02-11 19:09:08 +08:00
run_exp.py
增量 STEM-INC 实验
2023-03-09 14:54:23 +08:00
test.bench
修改成字句ls
2023-03-17 05:37:29 +00:00
test.cnf
可以运行的clause LS，下一步移植到CCAnr到本程序
2023-03-17 07:11:30 +00:00

README.md

The file is empty.
Description
No description provided
Readme 129 MiB
Languages
Verilog 49.1%
C++ 46.1%
Makefile 4.2%
Python 0.4%
Shell 0.2%