Probabilistic equivalence checking based on high-level decision diagrams
autor
Karputkin, Anton
Ubar, Raimund-Johannes
Tombak, Mati
Raik, Jaan
vastutusandmed
Anton Karputkin, Raimund Ubar, Mati Tombak, Jaan Raik
allikas
Proceedings of the 2011 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems : April 13-15, 2011, Gottbus, Germany
ilmumiskoht
[S.l.]
kirjastus/väljaandja
IEEE
ilmumisaasta
2011
leheküljed
p. 423-428 : ill
konverentsi nimetus, aeg
IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems : April 13-15, 2011
konverentsi toimumispaik
Gottbus, Germany
leitav
https://ieeexplore.ieee.org/document/5783130
märksõna
polünoomid
digitaaltehnika
andmestruktuurid
Boole'i funktsioonid
keerukusteooria
otsustusdiagrammid
ISBN
978-1-4244-9753-9
märkused
Bibliogr.: 14 ref
keel
inglise