Symbolic Simulation

Symbolic Simulation

m [Darringer DAC79; Carter et.al. DAC79; Cory 85; Bryant 85]

Ô Express each output of the combinational logic as an algebraic function (with Boolean operations) of the inputs.

m Can be made much faster than minterm simulation.

Previous slide Next slide Back to the first slide View Graphic Version