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

Solidify 4.0 Search results

?
?
total search4 articles
2006-07-26 Formal verification tool promises finer control
Averant released the next generation of its formal verification tool, offering what the company claims is the industry's first formal tool to give designers fine control over the tool's thoroughness.
2006-09-18 Averant dives deep into formal verification
Averant took advantage of Design Automation Conference to roll out the next generation of its Solidify tool, offering designers fine control over the thoroughness of formal verification
2008-08-01 Eclipse framework: on its way to prominence
Recent product launchings and new project initiatives indicate that the Eclipse framework is spilling over from its IT origins to become a dominant factor in the embedded space. The Eclipse Europa CDT Release 4.0 framework, along with GNU C/C++ compilers and debuggers, instruction-set simulators, and a target hardware probe, forms a complete development system
2000-11-01 Monta Vista enhances browser
The rapidly expanding use of Linux in embedded applications means that developers have to figure out how to use open-source software, developed for resource-rich desktop PCs and servers, in resource-constrained embedded systems.
Bloggers Say

Bloggers Say

See what engineers like you are posting on our pages.

?
?
Back to Top