An evaluation of the Chandy-Misra-Bryant algorithm for digital logic simulation

We explore the suitability of the Chandy-Misra-Bryant (CMB) algorithm for the domain of digital logic simulation. Our evaluation is based on results for six realistic benchmark circuits, one of the...