|
| JasperGold®
Proof Accelerators |
| |
| ACCELERATE YOUR PROOFS! |
| |
| Jasper's family of Proof
Accelerators are included with JasperGold Verification
System. These easy-to-use modeling components speed up
formal proofs on significantly reduce the complexity of
the verification. Often users can simply drop these models
into their design to get proofs to converge. They can
also be used together with Design Tunneling to converge
on an exhaustive solution that would otherwise be unobtainable.
Models include such components as: |
| |
- Datapath modeling
- Scoreboarding
- FIFOs ... and more!
|
|
|
