pyeda Rangschikking & Samenvatting
- Vergunning:
- Other/Proprietary Li...
- Naam uitgever:
- Chris Drake
- Uitgever website:
- http://search.cpan.org/~cdrake/
pyeda Tags
pyeda Beschrijving
Pyeda is een Python-bibliotheek met gegevenstypen en algoritmen voor het ontwerpen en verifiëren van digitale systemen. Het is volledig in Python geschreven en heeft momenteel geen externe bibliotheken nodig. Referenties: - Synthese en optimalisatie van digitale circuits, door Giovanni de Micheli- Logische synthese en verificatie-algoritmen, door Gary D. Hatchel en FABIO Somenzi-beslissingsprocedures, Daniel Kroening, en OFER StrichmanProduct's Homepage
pyeda Gerelateerde software