Sökning: "binary decision diagram"

Visar resultat 1 - 5 av 7 avhandlingar innehållade orden binary decision diagram.

1. 1. Advances in Functional Decomposition: Theory and Applications

   Författare :Andrés Martinelli; Elena Dubrova; Jon Muzio; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; computer science; electronic system design; Boolean decomposition; binary decision diagram; logic synthesis; graph algorithm; Computer science; Datavetenskap;

   Sammanfattning : Functional decomposition aims at finding efficient representations for Boolean functions. It is used in many applications, including multi-level logic synthesis, formal verification, and testing. This dissertation presents novel heuristic algorithms for functional decomposition. LÄS MER

3. 2. Symbolic Supervisory Control of Resource Allocation Systems

   Författare :Zhennan Fei; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Resource Allocation System; Binary Decision Diagram.; Discrete Event System; Supervisory Control Theory;

   Sammanfattning : Supervisory control theory (SCT) is a formal model-based methodology for verification and synthesis of supervisors for discrete event systems (DES). The main goal is to guarantee that the closed-loop system fulfills given specifications. SCT has great promise to assist engineers with the generation of reliable control functions. LÄS MER

4. 3. Voronoi-Based Coding

   Författare :Erik Agrell; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Voronoi diagram; linear block code; Gaussian channel; neighbor descent; nearest neighbor search algorithm; computational geometry; asymptotic theory; source coding; lattice; vector quantization; soft-decision decoding; index assignment; channel coding; complexity;

   Sammanfattning : The performance of a digital communication system can generally be improved by increasing the number of variables being jointly coded. In this sense, it is desirable to have, e.g., higher-dimensional quantizers, longer channel codes, and more users in a multiple-access system. LÄS MER

5. 4. Applications of decision diagrams for low power synthesis

   Författare :Mikael Kerttu; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Industrial Electronics; Industriell elektronik;

   Sammanfattning : Power consumption is an important design constraint for circuits used in portable devices. In this thesis an analytic approach to minimize the power dissipation of Binary Decision Diagram (BDD) mapped digital circuits is presented. LÄS MER

7. 5. Low power synthesis of BDD mapped circuits

   Författare :Mikael Kerttu; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Industrial Electronics; Industriell elektronik;

   Sammanfattning : Power consumption is an important design constraint for circuits used in portable devices. In this thesis an analytic approach to minimize the power dissipation of Binary Decision Diagram (BDD) mapped digital circuits is presented. LÄS MER