Lower bounds of the size of shared structurally synthesized BDDs
statement of authorship
Raimund Ubar, Dmitri Mironov
source
Proceedings of the 2014 IEEE 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) : April 23-25, 2014, Warsaw, Poland
location of publication
Piscataway
publisher
year of publication
pages
p. 77-82 : ill
conference name, date
17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), April 23-25, 2014
conference location
Warsaw, Poland
subject term
keyword
logic models and simulation
shared structurally synthesized BDDs
ISBN
978-1-4799-4558-0
notes
Bibliogr.: 20 ref
TTÜ department
language
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.