Scalable Proof Engine Verifies Sequential Systems

June 18, 2001
Temporal (also known as sequential) logic can now be verified in addition to combinational logic, thanks to Prover Technology's Tempo proof engine. This next-generation product complements Prover 4.0, which only verifies combinational logic....

Temporal (also known as sequential) logic can now be verified in addition to combinational logic, thanks to Prover Technology's Tempo proof engine. This next-generation product complements Prover 4.0, which only verifies combinational logic.

A proof engine is a software plug-in for verification tools that extend the host tool's native capability to perform automated logical reasoning, or a proof search, to reduce verification time. The engine analyzes logical models of circuit designs or system-control software, finding and identifying any bugs. If there are no bugs, the proof engine establishes this fact and provides proof.

Touted as the industry's first scalable proof engine for sequential system verification, Tempo targets EDA and computer-aided software engineering (CASE) tool developers. It provides automated reasoning for sequential logic to prove, for example, that two sequential systems behave in exactly the same way.

The proof engine searches for bugs while testing every possible contingency a design could en-counter. Bugs are then found and pinpointed. If no bugs are found, designers can be 100% sure that the design functions properly and will meet its specifications.

Tempo serves a variety of applications, including sequential equivalence checking, model checking, property validation, requirements validation, consistency and completeness checking, and test-case validation.

The one-year list price for a node-locked end-user license starts at $30,000, including support.

Prover Technology Inc., 100 S. Ellsworth Ave., 9th floor, San Mateo, CA 94401; Monika Claassen, (650) 696-3350; www.prover.com.

Sponsored Recommendations

Highly Integrated 20A Digital Power Module for High Current Applications

March 20, 2024
Renesas latest power module delivers the highest efficiency (up to 94% peak) and fast time-to-market solution in an extremely small footprint. The RRM12120 is ideal for space...

Empowering Innovation: Your Power Partner for Tomorrow's Challenges

March 20, 2024
Discover how innovation, quality, and reliability are embedded into every aspect of Renesas' power products.

Article: Meeting the challenges of power conversion in e-bikes

March 18, 2024
Managing electrical noise in a compact and lightweight vehicle is a perpetual obstacle

Power modules provide high-efficiency conversion between 400V and 800V systems for electric vehicles

March 18, 2024
Porsche, Hyundai and GMC all are converting 400 – 800V today in very different ways. Learn more about how power modules stack up to these discrete designs.

Comments

To join the conversation, and become an exclusive member of Electronic Design, create an account today!