![](/statics/img/blank.png)
equ-iitg formal equivalence checker 1.2
Licencji: Wolna Rozmiar pliku: N/A
Ocena użytkowników: 2.4/5 - 8 Głosów
Czekaj... Link do pobrania jest weryfikowany pod kątem złośliwej zawartości.
Pobieranie będzie można pobrać w ciągu 5 sekund.
Pobieranie będzie można pobrać w ciągu 5 sekund.
O equ-iitg formal equivalence checker
Jest to formalne narzędzie do sprawdzania równoważności opracowane przez IIT Guwahati, które może być wykorzystane do weryfikacji równoważności funkcjonalnej między obwodami (kombinowanymi i sekwencyjnymi) formatów BLIF, verilog i EDIF.