November 6, 2008, Providence, RI---New computer tools have the potential to revolutionize the practice of mathematics by providing far more-reliable proofs of mathematical results than have ever been ...

PARIS – Jasper Design Automation Inc. (Mountain View, Calif.) has released proof kits for the DFI (DDR-PHY) specification. Jasper said the DFI proof kits are sets of properties, written in ...

How formal verification is able to find bugs before signoff. Formal verification’s ability to mathematically prove exhaustively that a chip design meets a set of assertions. Formal techniques are ...

Jasper Design Automation's JasperCore formal tool incorporates a capability called ProofGrid, which enables the tool to distribute a high-level proof across multiple processors on a multi-threaded ...