YuhangQ/formality_cec
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
1 Commit 1 Branch 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 02535c83d3 Initial commit
2024-12-04 06:51:13 +00:00
.gitignore
Initial commit
2024-12-04 06:51:13 +00:00
README.md
Initial commit
2024-12-04 06:51:13 +00:00

README.md

demiter

将 AIG 的 miter 电路划分成两个电路

Description
使用商业工具测试 AIG 格式的 miter 电路等价性
Readme 16 MiB
Languages
Coq 87.4%
Verilog 9.2%
V 2.3%
Python 1.1%