diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-07-31 13:31:57 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-07-31 13:31:57 -0700 |
commit | fd8eb8c8551add7b17bd18a77fa46e8c0f38e833 (patch) | |
tree | 0a915153b19000c1edb48855fe53805b5d70d56c /src/base/abci/abcExact.c | |
parent | 0b01f5ec27ddddc1f20b2c4b3256a7846dc41657 (diff) | |
download | abc-fd8eb8c8551add7b17bd18a77fa46e8c0f38e833.tar.gz abc-fd8eb8c8551add7b17bd18a77fa46e8c0f38e833.tar.bz2 abc-fd8eb8c8551add7b17bd18a77fa46e8c0f38e833.zip |
Adding one argument to the delay-estimation API used for exact synthesis.
Diffstat (limited to 'src/base/abci/abcExact.c')
-rw-r--r-- | src/base/abci/abcExact.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcExact.c b/src/base/abci/abcExact.c index 40a5a6ca..384399cb 100644 --- a/src/base/abci/abcExact.c +++ b/src/base/abci/abcExact.c @@ -1023,7 +1023,7 @@ int Abc_ExactInputNum() // this procedure takes TT and input arrival times (pArrTimeProfile) and return the smallest output arrival time; // it also returns the pin-to-pin delays (pPerm) between each cut leaf and the cut output and the cut area cost (Cost) // the area cost should not exceed 2048, if the cut is implementable; otherwise, it should be ABC_INFINITY -int Abc_ExactDelayCost( word * pTruth, int nVars, int * pArrTimeProfile, char * pPerm, int * Cost ) +int Abc_ExactDelayCost( word * pTruth, int nVars, int * pArrTimeProfile, char * pPerm, int * Cost, int AigLevel ) { *Cost = ABC_INFINITY; return ABC_INFINITY; |