JavaScript is currently disabled.Please enable it for a better experience of Jumi. Mentor satsar på total verifiering

Simulering, formell verifiering, automatiska testbänkar och täckningsgrad på alla områden. Allt i ett verktyg. Det är vad Mentor Graphics lanserar under namnet Questa.

Ska man vara säker på att en konstruktion fungerar så duger det inte med en ensam verifieringsmetod. Tvärtom - simulering, automatiskt alstrade testbänkar, täckningsstyrd verifiering och formella metoder måste komplettera varandra om antalet buggar verkligen ska minimeras.

Problemet är att allt detta inte rymts inom samma verktyg. Åtminstone inte enligt Mentor Graphics som säger sig lösa problemet med lanseringen av totalverifieringsverktyget Questa.

- Inte förrän nu har det funnits bra, stabila, allmänt accepterade standarder. Nu när de finns så kommer också verktyg, säger John Lenyo på Mentor.

Questa kommer i två varianter, en som stöder såväl klassisk Verilog som System Verilog en som därtill stöder VHDL, det formella språket PSL och System C för automatisk testbänksgenerering. Beräkningarna görs i en enda kärna som klarar såväl simulering, randvillkorslösning (constraint solving), egenskaper (assertions) och funktionell täckning.

Adam Edström

Prenumerera på Elektroniktidningens nyhetsbrev eller på vårt magasin.


MER LÄSNING:
 
KOMMENTARER
Kommentarer via Disqus

Rainer Raitasuo

Rainer
Raitasuo

+46(0)734-171099 rainer@etn.se
(sälj och marknads­föring)
Per Henricsson

Per
Henricsson
+46(0)734-171303 per@etn.se
(redaktion)

Jan Tångring

Jan
Tångring
+46(0)734-171309 jan@etn.se
(redaktion)