Reducing Area & Power Consumption with Formal-based ‘X’ Verification
In this session we will share a comprehensive static and formal-based methodology employing this app that enables design teams to root cause ‘X’ issues early in the RTL design process.
