Multi-valued simulation with binary decision diagrams
Ubar, Raimund-Johannes
;
Raik, Jaan
Proceedings IEEE European Test Workshop, Cagliari, Italy, May 28-30, 1997
1997
/
p. 28-29