Python Electronic Design Automation
Project description
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:
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distributions
pyeda-0.4.0.zip
(17.2 kB
view hashes)
pyeda-0.4.0.tar.gz
(13.4 kB
view hashes)