forked from berkeley-abc/abc
-
Notifications
You must be signed in to change notification settings - Fork 202
Home
Nian-Ze Lee edited this page Sep 23, 2020
·
21 revisions
Welcome to the LSV-PA wiki!
Here we document basic knowledge (or pointers to those information) about ABC.
It is not intended to be a comprehensive tutorial, but will cover most of the necessary information for LSV PAs.
- Installation
- Demo
- External package
- Basic data structure
-
An example command
- Demonstrating how to iterate a circuit and print the information of gates
- Circuit file format:
- Command
show
requires:sudo apt install graphviz
sudo apt install gv
-
SOP operations
- How is an SOP stored?
- How to iterate through cubes in an SOP?