IDMIPPM/Functional_ECO

This is stars and forks stats for /IDMIPPM/Functional_ECO repository. As of 29 Apr, 2024 this repository has 5 stars and 3 forks.

Functional ECO Python tool for functional ECO Patch Generation. Tool was prepared for ICCAD 2017 contest. Usage python ./eco_flow.py <F.v> <G.v> <weight.txt> <patch.v> <out.v> Example: mkdir results python ./eco_flow.py testcases/unit1/F.v testcases/unit1/G.v testcases/unit1/weight.txt results/patch.v results/out.v Requirements Code requires ABC binary for functional verification Linux: You need to compile ABC (see instruction below) Windows: ABC binary already included Linux...