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
leitav
https://ieeexplore.ieee.org/document/5952643
märksõna
VLSI-ahelad
integraallülitused
rikked
kompuutermodelleerimine
Boole'i funktsioonid
andmestruktuurid
ISBN
978-1-4244-8725-7
märkused
Bibliogr.: 20 ref
keel
inglise