pyedaPython Electronic Design Automation | |
Download |
pyeda Ranking & Summary
Advertisement
- License:
- Other/Proprietary Li...
- Price:
- FREE
- Publisher Name:
- Chris Drake
- Publisher web site:
- http://search.cpan.org/~cdrake/
pyeda Tags
pyeda Description
pyeda is a Python 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 StrichmanProduct's homepage
pyeda Related Software