Python EDA Documentation¶
| Release: | 0.22.0 |
|---|---|
| Date: | April 22, 2014 |
PyEDA is a Python library for electronic design automation.
Fork PyEDA: https://github.com/cjdrake/pyeda
Features:
- Symbolic Boolean algebra with a selection of function representations:
- Logic expressions
- Truth tables, with three output states (0, 1, “don’t care”)
- Reduced, ordered binary decision diagrams (ROBDDs)
- SAT solvers:
- Backtracking
- DPLL
- PicoSAT
- Espresso logic minimization
- Formal equivalence
- Multi-dimensional bit vectors
- DIMACS CNF/SAT parsers
- Logic expression parser
Contents: