diff --git a/readmeaig b/readmeaig index 5dd81a0f9..1f77159c6 100644 --- a/readmeaig +++ b/readmeaig @@ -5,13 +5,13 @@ Using AIG Package in ABC - Link the library to the project. - Add #include "saig.h". - Start the AIG package using Aig_ManStart(). -- Assign primary inputs using Aig_ObjCreatePi(). -- Assign register outputs using Aig_ObjCreatePi(). +- Assign primary inputs using Aig_ObjCreateCi(). +- Assign register outputs using Aig_ObjCreateCi(). (it is important to create all PIs first, before creating register outputs). - Construct AIG in the topological order using Aig_And(), Aig_Or(), Aig_Not(), etc. - If constant-0/1 AIG nodes are needed, use Aig_ManConst0() or Aig_ManConst1() -- Create primary outputs using Aig_ObjCreatePo(). -- Create register inputs using Aig_ObjCreatePo(). +- Create primary outputs using Aig_ObjCreateCo(). +- Create register inputs using Aig_ObjCreateCo(). (it is important to create all POs first, before creating register inputs). - Set the number of registers by calling Aig_ManSetRegNum(). - Remove dangling AIG nodes (produced by structural hashing) using Aig_ManCleanup().