Modeling Digital Circuits with Structurally Synthesized Multiple-root Binary Decision Diagrams

Dmitri Mironov, magistrikraad, 2009, (juh) Raimund Ubar, Modeling Digital Circuits with Structurally Synthesized Multiple-root Binary Decision Diagrams (Digitaalskeemide Modelleerimine Struktuurselt Sünteesitud Mitme Juurtipuga Binaarotsustusdiagrammide Abil), Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut.
Dmitri Mironov
magistrikraad
Kaitstud
Ei
18.08.2007
2009
Inglise
Modeling Digital Circuits with Structurally Synthesized Multiple-root Binary Decision Diagrams
Digitaalskeemide Modelleerimine Struktuurselt Sünteesitud Mitme Juurtipuga Binaarotsustusdiagrammide Abil