ICCAD_2016_Contest

Solution for ICCAD 2016 Contest.

Dependencies

It requires "ABC: System for Sequential Logic Synthesis and Formal Verification" which is cloned from repository: https://bitbucket.org/alanmi/abc/

equiv.exe Case_01/design_01.isc Case_01/fault_description.txt

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
Case_00		Case_00
Case_01		Case_01
Case_02		Case_02
Case_03		Case_03
Case_04		Case_04
fim		fim
python_utils		python_utils
LICENSE		LICENSE
README.md		README.md
create_binary.sh		create_binary.sh
run_case.sh		run_case.sh