JavaScript is currently disabled.Please enable it for a better experience of Jumi. Språket PSL anammas

Konstruktionsspråket PSL, Property Specification Language, för formell verifiering får allt mer stöd. Språket, som utvecklats av IBM under namnet Sugar, utsågs till standard för området av organisationen Accellera förra året, och verktygstillverkarna anammar det nu i ökande utsträckning. På Date lanserade svenska Safelogic (se ovan) och brittiska Trans EDA var sin PSL-version av sina verktyg för egenskapskontroll (property checking, även kallad assertion checking, tidigare benämnt model checking).

Som nästa steg planerar Accellera att få språket System Verilog accepterat. En poäng är att konstruktionen och de egenskaper som behövs för den formella verifieringen då kan skrivas i samma språk.

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)