JavaScript is currently disabled.Please enable it for a better experience of Jumi. Dares to be formal

Swedish companies that develop tools for formal verification are not ubiquitous. There is, however, at least one: the start-up company Safelogic, which last year released two tools that use mathematical methods to verify complex electronic designs.

Safelogic utilizes so-called property checking to prove that designs always work as intended. Performance is addressed by handling the designs
on a high abstraction level. Safelogic claims that not only do the tools master more than their competitors, they are also more user-friendly.


Product names: Safelogic Monitor and Safelogic Verifier
Company: Safelogic, Gothenburg
Innovator: Claes Strannegård

Charlotta von Schultz

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


MER LÄSNING:
 
KOMMENTARER
Kommentarer via Disqus

Anne-Charlotte Lantz

Anne-Charlotte
Lantz

+46(0)734-171099 ac@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)