Python Electronic Design Automation
Project description
Python Electronic Design Automation Repository
Python EDA is a Python library for electronic design automation. It is written entirely in Python 3.2, and currently has no external dependencies.
In particular, PyEDA focuses on implementing data structures and algorithms for logic synthesis and verification.
PyEDA is currently for education and experimentation. Python has several tools (eg Numpy, PyPy) in the ecosystem that are appropriate for industrial-strength performance, so that is a possible future direction.
Warning
This software is very much a work in progress. As long as the major version number is “0”, the API could change drastically between releases. Use at your own risk.
EDA Reference Books
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
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.