FormalPro folosește tehnici de verificare formală statică pentru a demonstra că un design este identic funcțional cu referința sa de aur. Aceasta este cu ordine de mărime mai rapidă decât simularea tradițională la nivel de poartă - proiectele care durează zile sau săptămâni pot fi verificate în ore sau chiar minute folosind FormalPro.
Demonstrați rapid că un design este identic din punct de vedere funcțional - comparați RTL cu gate netlist pentru sinteză, netlistele de la poartă la poartă pentru rotiri de aspect. Utilizați un singur instrument și un flux pentru toate desenele dvs.
Verificarea rapidă a proiectelor de porți de mai multe milioane și reducerea dramatică a timpului de verificare folosind tehnici de verificare formală statică. Cea mai rapidă cale pentru a corecta proiectarea cu un instrument cuprinzător de depanare care identifică locația/cauza erorilor și capacitatea unică „ce dacă” de a investiga modificările de proiectare în cadrul sesiunii de verificare existente.
Alăturați-vă discuției pe teme noi, caracteristici, conținut și experți tehnici.
Accesați note detaliate ale aplicației utilizatorului, resurse de instruire și multe altele.
Ajutându-vă să obțineți un impact maxim asupra afacerii prin abordarea provocărilor complexe de tehnologie și de întreprindere cu un amestec unic de experiență în dezvoltare și proiectare și expertiză metodologică.
