pyeda 0.5.0

Python Electronic Design Automation

Python EDA is a library of data types and algorithms for designing and verifying digital systems. It is written entirely in Python and does not currently require any external libraries.

References:

• Synthesis and Optimization of Digital Circuits, by Giovanni De Micheli

• Logic Synthesis and Verification Algorithms, by Gary D. Hatchel, and Fabio Somenzi

• Decision Procedures, by Daniel Kroening, and Ofer Strichman

Resources:

• Python

• PyPy

• IPython

• NetworkX

• Numpy

• SymPy