zcy
/
phyLS
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

update convert for AIG to ABC

noah
潘鸿洋 2023-11-27 19:55:07 +08:00
parent 033306cfe8
commit 2014ccb1e3
1 changed files with 10 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/store.hpp
View File

@ -552,31 +552,36 @@ ALICE_CONVERT(pabc::Abc_Ntk_t *, element, aig_network) {
ALICE_CONVERT(xmg_network, element, pabc::Abc_Ntk_t *) { ALICE_CONVERT(xmg_network, element, pabc::Abc_Ntk_t *) {
xmg_network xmg = element; xmg_network xmg = element;
pabc::Abc_Ntk_t *pNtk = phyLS::mockturtle2abc_x(xmg); pabc::Abc_Ntk_t *pNtk = phyLS::mockturtle2abc_x(xmg);
return pNtk; pabc::Abc_Ntk_t *pNtkLogic = pabc::Abc_NtkToLogic(pNtk);
return pNtkLogic;
} }
ALICE_CONVERT(aig_network, element, pabc::Abc_Ntk_t *) { ALICE_CONVERT(aig_network, element, pabc::Abc_Ntk_t *) {
aig_network aig = element; aig_network aig = element;
pabc::Abc_Ntk_t *pNtk = phyLS::mockturtle2abc_a(aig); pabc::Abc_Ntk_t *pNtk = phyLS::mockturtle2abc_a(aig);
return pNtk; pabc::Abc_Ntk_t *pNtkLogic = pabc::Abc_NtkToLogic(pNtk);
return pNtkLogic;
} }
ALICE_CONVERT(mig_network, element, pabc::Abc_Ntk_t *) { ALICE_CONVERT(mig_network, element, pabc::Abc_Ntk_t *) {
mig_network mig = element; mig_network mig = element;
pabc::Abc_Ntk_t *pNtk = phyLS::mockturtle2abc_m(mig); pabc::Abc_Ntk_t *pNtk = phyLS::mockturtle2abc_m(mig);
return pNtk; pabc::Abc_Ntk_t *pNtkLogic = pabc::Abc_NtkToLogic(pNtk);
return pNtkLogic;
} }
ALICE_CONVERT(xag_network, element, pabc::Abc_Ntk_t *) { ALICE_CONVERT(xag_network, element, pabc::Abc_Ntk_t *) {
xag_network xag = element; xag_network xag = element;
pabc::Abc_Ntk_t *pNtk = phyLS::mockturtle2abc_g(xag); pabc::Abc_Ntk_t *pNtk = phyLS::mockturtle2abc_g(xag);
return pNtk; pabc::Abc_Ntk_t *pNtkLogic = pabc::Abc_NtkToLogic(pNtk);
return pNtkLogic;
} }
ALICE_CONVERT(klut_network, element, pabc::Abc_Ntk_t *) { ALICE_CONVERT(klut_network, element, pabc::Abc_Ntk_t *) {
klut_network klut = element; klut_network klut = element;
pabc::Abc_Ntk_t *pNtk = phyLS::mockturtle2abc_l(klut); pabc::Abc_Ntk_t *pNtk = phyLS::mockturtle2abc_l(klut);
return pNtk; pabc::Abc_Ntk_t *pNtkLogic = pabc::Abc_NtkToLogic(pNtk);
return pNtkLogic;
} }
/* ABC Gia */ /* ABC Gia */