Sibling-substitution-based BDD minimization using don't caresOpen Website

Youpyo Hong, Peter A. Beerel, Jerry R. Burch, Kenneth L. McMillan

2000 (modified: 16 Apr 2023)IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2000Readers: Everyone
0 Replies