Vector decision diagrams for simulation of digital systems
Ubar, Raimund-Johannes
;
Morawiec, Adam
;
Raik, Jaan
DDECS'2000
2000
/
p. 44-51