Python EDA Documentation¶
Release: | 0.27.4 |
---|---|
Date: | March 29, 2015 |
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 — Utilities
- pyeda.boolalg.boolfunc — Boolean Functions
- pyeda.boolalg.bdd — Binary Decision Diagrams
- pyeda.boolalg.expr — Expressions
- pyeda.boolalg.bfarray — Boolean Function Arrays
- pyeda.boolalg.minimization — Logic Minimization
- pyeda.boolalg.picosat — PicoSAT C Extension
- pyeda.boolalg.espresso — Espresso C Extension