Specman

Specman är ett EDA- verktyg som tillhandahåller avancerad automatiserad funktionsverifiering av hårdvarudesigner. Det tillhandahåller en miljö för att arbeta med, kompilera och felsöka testbänksmiljöer skrivna i e Hardware Verification Language . Specman erbjuder också automatiserad testbänksgenerering för att öka produktiviteten i samband med block-, chip- och systemverifiering.

Specman-verktyget i sig inkluderar inte en HDL-simulator (för designspråk som VHDL eller Verilog .) För att simulera en e-testbänk med en design skriven i VHDL/Verilog måste Specman köras tillsammans med ett separat HDL-simuleringsverktyg. Specman är en funktion i Cadences nya Xcelium-simulator, där tätare produktintegration erbjuder både snabbare körtidsprestanda och felsökningsmöjligheter som inte är tillgängliga med andra HDL-simulatorer. Specman kan i princip samsimulera med vilken HDL-simulator som helst som stöder standard PLI- eller VHPI-gränssnitt, såsom Synopsys's VCS, eller Mentor's Questa.

Historia

Specman utvecklades ursprungligen på Verisity, ett Israel-baserat företag, som förvärvades av Cadence den 7 april 2005.

Det är nu en del av Cadences funktionella verifieringssvit.