A hardware simulation engine based on decision diagrams (short paper).

Yukihiro Iguchi, Tsutomu Sasao, Munehiro Matsuura, Atsumu Iseno

Browse the full ASPDAC paper archive.