Hacker News new | ask | show | jobs
by jeanmichelx 2634 days ago
I wish. This figure is reloading the formal tool after a one line change in the RTL.

Placing (not routing!) takes around 24 hours since we need to run in a larger environment than just the block level to get realistic timing reports