Stuck on a Desert Island without Simulation – Only Formal!
It could happen to any of us: your plane is stricken by mechanical failure and is forced on a desert island. Your only hope of rescue is to verify the RTL for a solar powered drone that will fly to the nearest civilization with your message. All you have for your EDA usage is a solar powered Linux laptop, your DUT’s RTL, some planning & management tools, and formal & CDC apps — no simulation!
Save yourselves and view to this tutorial!
For more information about the Verification Acadamy please click here.