Lower bounds of the size of shared structurally synthesized BDDs
vastutusandmed
Raimund Ubar, Dmitri Mironov
allikas
Proceedings of the 2014 IEEE 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) : April 23-25, 2014, Warsaw, Poland
ilmumiskoht
Piscataway
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 77-82 : ill
konverentsi nimetus, aeg
17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), April 23-25, 2014
konverentsi toimumispaik
Warsaw, Poland
võtmesõna
logic models and simulation
shared structurally synthesized BDDs
ISBN
978-1-4799-4558-0
märkused
Bibliogr.: 20 ref
TTÜ struktuuriüksus
keel
inglise
Ubar, R., Mironov, D. Lower bounds of the size of shared structurally synthesized BDDs // Proceedings of the 2014 IEEE 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) : April 23-25, 2014, Warsaw, Poland. Piscataway : IEEE, 2014. p. 77-82 : ill.