Ky. Yun et al., BDD-BASED SYNTHESIS OF EXTENDED BURST-MODE CONTROLLERS, IEEE transactions on computer-aided design of integrated circuits and systems, 17(9), 1998, pp. 782-792
We examine the implications of a new hazard-free combinational logic s
ynthesis method [1], which generates multiplexor-based networks from b
inary decision diagrams (BDD's)-representations of logic functions fac
tored recursively with respect to input variables-on extended burst-mo
de asynchronous synthesis, First, this method guarantees that there ex
ists a hazard-free BDD-based implementation for every legal extended b
urst-mode specification. Second, it reduces the constraints on state m
inimization and assignment, which reduces the number of additional sta
te variables required in many cases. Third, in cases where conditional
signals are sampled, it eliminates the need for state variable change
s preceding output changes, which reduces overall input-to-output late
ncy, Last, we describe a circuit that exemplifies how the BDD variable
ordering affects the path delay.