Santa Cruz, Calif. ― Armed with two new products and new technology, 0-In Design Automation is rolling out version 2.0 of its assertion-based verification suite this week. The company claims new algorithms that can dramatically speed performance, find clock-domain crossing signals and spot tough corner-case bugs other approaches miss. The new 0-In Confirm uses model checking and 0-In's Deep Counter Example (DCE) technology to find corner-case bugs. 0-In Checklist, also new, synthesizes and analyzes register-transfer-level netlists, finds clock-domain crossing signals and creates protocol monitors that can be used in simulation or formal verification.
展开▼