Cadence JASPER 25.12
Cadence Jasper is a market-leading suite of Formal Verification tools within the Electronic Design Automation (EDA) industry. Its core function is to mathematically prove the correctness of a digital hardware design (at the Register-Transfer Level – RTL) against its specification, exhaustively and without the need for simulation testbenches.
Product:Cadence JASPER 25.12
Lanaguage:english
Platform:Linux/Macosx
Size:2DVD