Thank you for visiting Real Intent at DAC 2016
For further information on the latest releases of our products, please look at the data sheets below.
If you would like to schedule another meeting with us, please contact us via email at firstname.lastname@example.org.
CDC: Fastest and highest
capacity clock domain crossing verification
solution to ensure data transfer integrity
between asynchronous clock domains.
Physical CDC: Meridian Physical
CDC is the only solution available which does
complete glitch checking and netlist sign-off..
Constraints: Complete timing
constraints management and verification
Lint: Advanced lint analysis
for syntax/semantic errors, synthesis/simulation
mismatch, and naming conventions etc.
IIV Autoformal: Automatic
sequential formal analysis for state
reachability, single or pair-wise state
deadlock, dead code, and synthesis pragma
XV: X-propagation verification
to identify X-sources in the design, correct
X-optimism in RTL and X-pessimism in netlist.