Formality® Ultra includes matching techniques that visually highlight mismatch between RTL and netlist representations of design, allowing designers to zoom in on changes required to implement engineering change order (ECO). Also included, multi-point verification technology checks multiple changes made to design. This lets designers verify correctness of ECOs within minutes on multi-million instance designs. Together, these capabilities foster shorter, predictable schedules.
This story is related to the following:Electronic Design Automation (EDA) Software | Software Engineering Process Development Tools