I LOVE FORMAL Finding bugs in deep pipelines in seconds! I LOVE FORMAL How long will it take to find a corner case bug in a sequential design with 449 million+ gates? I LOVE FORMAL Can formal find a random bug in my NoC?
