Latest Formal verification Stories

2014-05-20 08:41:05

WILSONVILLE, Ore., May 20, 2014 /PRNewswire/ -- Mentor Graphics Corp. (Nasdaq: MENT), a leader in advanced system verification solutions, today announced the immediate availability of Questa(®) PropGen, the newest product within the Mentor(®) portfolio of formal based automated solutions, as well as enhanced capacity and performance of the Questa product's cutting-edge formal engines, which empower the entire family of automated solutions....

2014-04-01 08:36:06

WILSONVILLE, Ore., April 1, 2014 /PRNewswire/ -- Mentor Graphics Corp. (NASDAQ: MENT), today announced availability of a new solution for X-value verification in register transfer level (RTL) and gate level designs. X-values are symbols that represent unknown voltage levels of signals in digital IC designs. The latest version of the Questa(®) Verification Platform links simulation and formal verification capabilities to deliver complete X-value analysis and debug, which helps an IC...

2014-03-04 08:37:48

Delivers next-generation software technologies for complete verification flow MOUNTAIN VIEW, Calif., March 4, 2014 /PRNewswire/ -- Highlights: -- Next-generation verification technologies, including static and formal verification, provide 5X performance improvement -- Native integration of simulation, static and formal verification, verification IP (VIP), debug, and coverage technologies into a single product boosts performance and productivity -- New...

2011-06-21 12:27:50

Analysis verifies safety of distributed car control system Driver assistance technologies, such as adaptive cruise control and automatic braking, promise to someday ease traffic on crowded routes and prevent accidents. Proving that these automated systems will work as intended is a daunting task, but computer scientists at Carnegie Mellon University have now demonstrated it is possible to verify the safety of these highly complex systems. To do so, the researchers first developed a model of a...

2011-03-15 07:00:00

STOCKHOLM and TOULOUSE, France, March 15, 2011 /PRNewswire/ -- Prover Technology, the world leader in Signaling Design Automation, today announced that Ansaldo STS has placed an order for using Prover Certifier for ERTMS Level 2 interlocking systems delivered to Trafikverket, the Swedish Transport Administration. Prover Certifier is the only software product on the market that enables automatic production of the complete safety evidence for CENELEC EN50128 SIL 4 certification based on...

2010-05-06 02:01:00

SANTA CLARA, Calif., May 6 /PRNewswire/ -- NextOp Software, Inc. formally introduced itself today as a functional verification provider focused on delivering Assertion-Based Verification solutions that leverage design and testbench information to uncover bugs, expose coverage holes and increase verification observability. NextOp also announced today its flagship assertion synthesis product BugScope(TM), after four years of development of key technologies and successful work with several...

Latest Formal verification Reference Libraries

Formal Aspects of Computing
2012-04-25 18:46:59

Formal Aspects of Computing (FAC) is a peer-reviewed scientific journal published by Springer Science+Business Media. It covers the area of formal methods and associated topics in computer science. The journal is associated with BCS-FACS (The British Computer Society Formal Aspects of Computing Science Specialist Group). FAC's editors-in-chief are Jim Woodcock and Cliff Jones. The main goal of the journal is to promote growth of computing science, to show its relation to practice and to...

More Articles (1 articles) »
Word of the Day
  • A bat.
The word 'reremouse' comes from Middle English reremous, from Old English hrēremūs, hrērmūs ("bat"), equivalent to rear (“to move, shake, stir”) +‎ mouse.