summaryrefslogtreecommitdiffstats
path: root/readmeaig
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2012-03-10 12:09:48 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2012-03-10 12:09:48 -0800
commit7d62ef8faed31e5ce5f4324583dae1b35b0d6fc0 (patch)
treed218a76a0fbbdd4ae13ab2ee74a44d9449522096 /readmeaig
parentfec988f6194fbab17cc18b72e6f907d5f990bbe8 (diff)
downloadabc-7d62ef8faed31e5ce5f4324583dae1b35b0d6fc0.tar.gz
abc-7d62ef8faed31e5ce5f4324583dae1b35b0d6fc0.tar.bz2
abc-7d62ef8faed31e5ce5f4324583dae1b35b0d6fc0.zip
Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...
Diffstat (limited to 'readmeaig')
-rw-r--r--readmeaig8
1 files changed, 4 insertions, 4 deletions
diff --git a/readmeaig b/readmeaig
index 5dd81a0f..1f77159c 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().