Lower bounds of the size of shared structurally synthesized BDDs

pealdis
Ubar, R., Mironov, D.
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
leidumus
ei leidu TTÜ Raamatukogus
TTÜ struktuuriüksus
TTÜ struktuurikood
ia
maakood
us
keel
inglise
aruandeväli
aastar2014i
etis2014
toim. märkused
Pi 040515
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.