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.