LUBIS EDA
LUBIS EDA Launches FormalOS: Infrastructure for Systematic, Scalable Formal Verification
Real Intent, Inc., today announced enhancements to its Meridian RDC high performance, multi-scenario reset domain crossing static sign-off tool — extending Meridian RDC’s technology advantages by enhancing its advanced debug and further optimizing its low noise reporting.
The new features include:
To maximize engineering efficiency and accelerate debug, Real Intent has built upon its unique functional analysis and observability analysis technology, with additional functionality to further advance its low noise reporting and reduce memory consumption to:
About Meridian RDC Reset Domain Crossing Static Sign-Off
Real Intent Meridian RDC is an ultra-high performance, low noise, multi-scenario reset domain crossing sign-off tool. It performs both structural and functional analysis to report reset functionality issues like metastability, glitches, and reset convergence.
Meridian RDC’s multi-scenario reset domain crossing sign-off requires only a single setup to analyze multiple reset scenarios in one run; it then produces one consolidated, low-noise violations report. It has been used successfully for RDC sign-off by customers on projects ranging from small designs with a few reset scenarios to multi-billion gate designs with thousands of reset scenarios.
For more information on Meridian RDC, please visit: https://www.realintent.com/reset-domain-crossing-meridian-rdc/