Application of structurally synthesized binary decision diagrams for timing simulation of digital circuits
Jutman, Artur
;
Ubar, Raimund-Johannes
Proceedings of the Estonian Academy of Sciences. Engineering
2001
/
4, p. 269-288 : ill