Search-engine friendly clone of the
ACL2 documentation
.
Top
Documentation
Books
Boolean-reasoning
Ipasir
Aignet
Base-api
Aignet-construction
Representation
Aignet-copy-init
Aignet-simplify-marked-with-tracking
Aignet-cnf
Aignet-simplify-with-tracking
Aignet-complete-copy
Aignet-eval
Semantics
Aignet-transforms
Aignet-simplify-marked
Aignet-read-aiger
Aignet-write-aiger
Aignet-abc-interface
Utilities
Aignet-record-levels
Aig
Satlink
Truth
Ubdds
Bdd
Faig
Bed
4v
Projects
Debugging
Std
Proof-automation
Macro-libraries
ACL2
Interfacing-tools
Hardware-verification
Software-verification
Math
Testing-utilities
Aignet
Utilities
Basic tools for using
aignet
networks.
Subtopics
Aignet-record-levels
Records the level of each node in aignet-levels, where combinational inputs and constants have level 0 and a node has level n+1 if its children have maximum level n.