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.