The DAC frenzy has begun. We at Jasper are excited to be going to DAC and showing the industry the latest in our leading Jasper formal technology.
We recently introduced our JasperGold Apps that help customers achieve substantial productivity gains in design and verification through individual Apps within a shared interactive environment that fit into existing verification flows. The JasperGold Apps helps solve engineers’ toughest problems, addressing an array of design and verification functionality issues throughout the flow, such as:
- End-to-end property verification,
- Unexpected X detection and debugging,
- Chip-level connectivity,
- Automated assertion generation,
- Identification of coverage holes,
- Design trade-off analysis,
- Absence of deadlock,
- Cache coherency,
- And many more.
You can see the JasperGold Apps in action in our booth.