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

Vakant

Sälj och marknads­föring +46(0)734-171099 ads@etn.se
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)