Python EDA Documentation¶
| Release: | 0.28.0 |
|---|---|
| Date: | Dec 02, 2018 |
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
- PicoSAT
- Espresso logic minimization
- Formal equivalence
- Multi-dimensional bit vectors
- DIMACS CNF/SAT parsers
- Logic expression parser
Contents¶
- Overview
- Installing PyEDA
- Boolean Algebra
- Binary Decision Diagrams
- Boolean Expressions
- Function Arrays
- Two-level Logic Minimization
- Using PyEDA to Solve Sudoku
- All Solutions To The Eight Queens Puzzle
- Release Notes
- Reference
pyeda.util— Utilitiespyeda.boolalg.boolfunc— Boolean Functionspyeda.boolalg.bdd— Binary Decision Diagramspyeda.boolalg.expr— Expressionspyeda.boolalg.bfarray— Boolean Function Arrayspyeda.boolalg.minimization— Logic Minimizationpyeda.boolalg.picosat— PicoSAT C Extensionpyeda.boolalg.espresso— Espresso C Extension