prindi

Digital logic simulation with compressed BDDs

autor
Ubar, Raimund-Johannes
Mironov, Dmitri
Devadze, Sergei
Raik, Jaan
vastutusandmed
Raimund Ubar, Dmitri Mironov, Sergei Devadze, Jaan Raik, Artur Jutman
allikas
Proceedings : 2011 IEEE International Conference on Computer Science and Automation Engineering : June 10-12, 2011, Shanghai, China
ilmumiskoht
[Beijing]
kirjastus/väljaandja
IEEE
ilmumisaasta
2011
leheküljed
p. 105-109 : ill
konverentsi nimetus, aeg
2011 IEEE International Conference on Computer Science and Automation Engineering, June 10-12, 2011
konverentsi toimumispaik
Shanghai, China
ISBN
978-1-4244-8725-7
märkused
Bibliogr.: 20 ref
keel
inglise
Ubar, R., Mironov, D., Devadze, S., Raik, J., Jutman, A. Digital logic simulation with compressed BDDs // Proceedings : 2011 IEEE International Conference on Computer Science and Automation Engineering : June 10-12, 2011, Shanghai, China. [Beijing] : IEEE, 2011. p. 105-109 : ill.