Digital logic simulation with compressed BDDs
statement of authorship
Raimund Ubar, Dmitri Mironov, Sergei Devadze, Jaan Raik, Artur Jutman
source
Proceedings : 2011 IEEE International Conference on Computer Science and Automation Engineering : June 10-12, 2011, Shanghai, China
location of publication
[Beijing]
publisher
year of publication
pages
p. 105-109 : ill
conference name, date
2011 IEEE International Conference on Computer Science and Automation Engineering, June 10-12, 2011
conference location
Shanghai, China
subject term
ISBN
978-1-4244-8725-7
notes
Bibliogr.: 20 ref
language
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.