Thank you for visiting Real Intent at DAC 2013.
Real Intent at DAC 2013
For further information on the latest releases of our products, please look at the data sheets below.
If you would like to schedule a meeting, please contact us via email at email@example.com.
- Ascent Lint: Advanced lint analysis for syntax/semantic errors, synthesis/simulation mismatch, and naming conventions etc.
- Ascent IIV: Automatic sequential formal analysis for state reachability, single or pair-wise state deadlock, dead code, and synthesis pragma violations etc.
- Ascent XV: X-propagation verification to identify X-sources in the design, correct X-optimism in RTL and X-pessimism in netlist.
- Meridian CDC: Fastest and highest capacity clock domain crossing verification solution to ensure data transfer integrity between asynchronous clock domains.
- Meridian Constraints (PureTime): Complete design constraints management and verification solution.
DAC Photobooth Gallery