\input zb-basic
\input zb-ioport
\iteman{io-port 01096068}
\itemau{Meinel, Christoph; Theobald, Thorsten}
\itemti{Ordered binary design graphs and their signification in computer aided design of high-integrated circuits. (Geordnete bin\"are Entscheidungsgraphen und ihre Bedeutung im rechnergest\"utzten Entwurf hochintegrierter Schaltkreise.)}
\itemso{Inform.-Spektrum 20, No. 5, 268-275 (1997).}
\itemab
Summary: Many problems in computer-aided design of highly integrated circuits (CAD for VLSI) can be transformed to the task of manipulating objects over finite domains. The efficiency of these operations depends substantially on the chosen data structures. In the last years, ordered binary decision diagrams have proven to be a very efficient data structure in this context. We give a survey on the developments in this connection between basic research and practically relevant applied research with its immediate impact on the performance improvement of modern CAD design and verification tools.
\itemrv{~}
\itemcc{}
\itemut{computer-aided design}
\itemli{doi:10.1007/s002870050072}
\end