diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-07-28 11:31:31 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-07-28 11:31:31 -0700 |
| commit | 6a69a9139cee418fd6919b681f172f8cadba32cc (patch) | |
| tree | b652ef8ad47bea51b685c8e105a89889d0a7594e /src/base/abci/abc.c | |
| parent | 674dcf2a6e7ebf786d9e6c75574f49239dfc57a0 (diff) | |
| download | abc-6a69a9139cee418fd6919b681f172f8cadba32cc.tar.gz abc-6a69a9139cee418fd6919b681f172f8cadba32cc.tar.bz2 abc-6a69a9139cee418fd6919b681f172f8cadba32cc.zip | |
Adding support for standard-cell mapping.
Diffstat (limited to 'src/base/abci/abc.c')
| -rw-r--r-- | src/base/abci/abc.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index df3fc630..079368e9 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -25264,6 +25264,11 @@ int Abc_CommandAbc9Put( Abc_Frame_t * pAbc, int argc, char ** argv ) extern Abc_Ntk_t * Abc_NtkFromMappedGia( Gia_Man_t * p ); pNtk = Abc_NtkFromMappedGia( pAbc->pGia ); } + else if ( Gia_ManHasCellMapping(pAbc->pGia) ) + { + extern Abc_Ntk_t * Abc_NtkFromCellMappedGia( Gia_Man_t * p ); + pNtk = Abc_NtkFromCellMappedGia( pAbc->pGia ); + } else if ( Gia_ManHasDangling(pAbc->pGia) == 0 ) { pMan = Gia_ManToAig( pAbc->pGia, 0 ); |