Global Sources
EE Times-Asia
Stay in touch with EE Times Asia
EE Times-Asia > Advanced Search > safelogic

safelogic Search results

?
?
total search5 articles
2003-04-08 Safelogic VHDL tool sweetened with Sugar
Safelogic Verifier 3.1 product now supports PSL.
2004-06-30 Safelogic rolls out new property checking solution
Safelogic announced a major new release of its property checking solution and extended simulator support for its simulator plug-in product.
2002-10-15 Swedish startup eases use of formal tools
Startup Safelogic is rolling out a formal property checker and a simulation "plug-in" for property monitoring.
2003-11-10 Formal tool adds hierarchical PSL support
Claiming to offer complete verification layer support for Accellera's Property Specification Language (PSL), Swedish EDA vendor Safelogic has announced v1.5 of its Verifier product.
2004-04-06 Synopsys forum updates SystemVerilog support
The message at the Synopsys EDA Interoperability Developer's Forum, convening Thursday (April 1, 2004), is clear; SystemVerilog support is growing.
Bloggers Say

Bloggers Say

See what engineers like you are posting on our pages.

?
?
Back to Top