3 ms·
I haven't used them personally, but my understanding is that BDD's are increasingly used for formal hardware verification.
by davidtgoldblatt 15y ago
I haven't used them personally, but my understanding is that BDD's are increasingly used for formal hardware verification.