Formal Linting primer (by Real Intent) discusses how formal linting tool automatically identify RTL design bugs using formal sequential analysis, building on RTL linting to catch functional and coverage issues early – and reduce simulation debug effort.
The video primer also discusses the control logic areas these tools can test for, and key areas to assess when evaluating formal linting tools.
The author and speaker is Lisa Piper, Real Intent's technical marketing director for Ascent Lint & Ascent AutoFormal.
For information on Ascent AutoFormal formal linting tool, please visit:
[ Ссылка ]
