Dit is een formele equivalentie controle tool ontwikkeld @ IIT Guwahati die kan worden gebruikt om functionele gelijkwaardigheid tussen circuits (combinatie en sequentiële) van de formaten BLIF, verilog en EDIF te verifiëren.
versiegeschiedenis
- Versie equiitg_1.2%20beta geplaatst op 2009-07-02
Verschillende oplossingen en updates - Versie equiitg_1.2 beta geplaatst op 2009-07-02
Programmadetails
- Categorie: Ontwikkeling > Andere
- Publisher: equiitg.sf.net
- Licentie: Gratis
- Prijs: N/A
- Versie: 1.2
- Platform: windows