Improving the efficiency of timing simulation in digital circuits by using structurally synthesized BDDs
Ubar, Raimund-Johannes
;
Jutman, Artur
;
Peng, Z.
IEEE Norchip Conference
2000
/
p. 254-261