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 bhaskar@realintent.com.
Data Sheets:
- 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
