diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-11-04 14:43:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-11-04 14:43:00 -0800 |
| commit | df6c9415c138e90bbd15c1dc519a463b344aabd8 (patch) | |
| tree | facfd538743e4b4e9c301a5405cd2b17a8a134d7 /src/aig/miniaig/abcapis.h | |
| parent | ae96723ad6636edb43bbd6dd0fe95d59a25905c5 (diff) | |
| download | abc-df6c9415c138e90bbd15c1dc519a463b344aabd8.tar.gz abc-df6c9415c138e90bbd15c1dc519a463b344aabd8.tar.bz2 abc-df6c9415c138e90bbd15c1dc519a463b344aabd8.zip | |
Adding procedure Abc_NtkSetAndGateDelay().
Diffstat (limited to 'src/aig/miniaig/abcapis.h')
| -rw-r--r-- | src/aig/miniaig/abcapis.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/aig/miniaig/abcapis.h b/src/aig/miniaig/abcapis.h index 036018d4..f62612e8 100644 --- a/src/aig/miniaig/abcapis.h +++ b/src/aig/miniaig/abcapis.h @@ -58,6 +58,9 @@ extern void Abc_NtkSetFlopNum( void * pAbc, int nFlops ); extern void Abc_NtkSetCiArrivalTime( void * pAbc, int iCi, float Rise, float Fall ); extern void Abc_NtkSetCoRequiredTime( void * pAbc, int iCo, float Rise, float Fall ); +// procedure to set AND-gate delay to tech-independent synthesis and mapping +extern void Abc_NtkSetAndGateDelay( void * pAbc, float Delay ); + // procedures to return the mapped network extern int * Abc_NtkOutputMiniMapping( void * pAbc ); extern void Abc_NtkPrintMiniMapping( int * pArray ); |