diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-05-16 20:35:55 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-05-16 20:35:55 -0700 |
| commit | 93849685b3dadc878bab3dd266a80ad9cfa74a5e (patch) | |
| tree | 1c08cf4907a1e8f908729e518a1947be4bd089eb /src | |
| parent | 0ce11851bcb364abfd5d65685ab779faed4398ec (diff) | |
| download | abc-93849685b3dadc878bab3dd266a80ad9cfa74a5e.tar.gz abc-93849685b3dadc878bab3dd266a80ad9cfa74a5e.tar.bz2 abc-93849685b3dadc878bab3dd266a80ad9cfa74a5e.zip | |
Updating LUT synthesis code.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaMinLut.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/aig/gia/giaMinLut.c b/src/aig/gia/giaMinLut.c index 9ac9e770..082ad900 100644 --- a/src/aig/gia/giaMinLut.c +++ b/src/aig/gia/giaMinLut.c @@ -34,6 +34,8 @@ ABC_NAMESPACE_IMPL_START /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// +extern Abc_Ntk_t * Abc_NtkFromAigPhase( Aig_Man_t * pMan ); + //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// @@ -430,7 +432,6 @@ Gia_Man_t * Gia_ManDoMuxMapping( Gia_Man_t * p ) Gia_Man_t * Gia_ManDoMuxTransform( Gia_Man_t * p, int fReorder ) { extern Gia_Man_t * Abc_NtkStrashToGia( Abc_Ntk_t * pNtk ); - extern Abc_Ntk_t * Abc_NtkFromAigPhase( Aig_Man_t * pMan ); extern int Abc_NtkBddToMuxesPerformGlo( Abc_Ntk_t * pNtk, Abc_Ntk_t * pNtkNew, int Limit, int fReorder, int fUseAdd ); Gia_Man_t * pRes = NULL; Aig_Man_t * pMan = Gia_ManToAig( p, 0 ); |