prindi

Boolean derivatives and multi-valued simulation on binary decision diagrams

autor
Ubar, Raimund-Johannes
vastutusandmed
R. Ubar
allikas
Proceedings of the 4th International Workshop Mixed Design of Integrated Circuits and Systems : MIXDES'97 : Poznan, Poland, 12-14 June 1997
ilmumiskoht
[S.l.]
ilmumisaasta
1997
leheküljed
p. 115-120
keel
inglise
Ubar, R. Boolean derivatives and multi-valued simulation on binary decision diagrams // Proceedings of the 4th International Workshop Mixed Design of Integrated Circuits and Systems : MIXDES'97 : Poznan, Poland, 12-14 June 1997. [S.l.], 1997. p. 115-120.