3 ms·It’s a lot easier to do formal verification… which is a fancy BDD, in many ways.by thechao 4y agoIt’s a lot easier to do formal verification… which is a fancy BDD, in many ways.