Search for dissertations about: "Binary Decision Diagram."
Showing result 1 - 5 of 7 swedish dissertations containing the words Binary Decision Diagram..
-
1. Advances in Functional Decomposition: Theory and Applications
Abstract : 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. READ MORE
-
2. Symbolic Supervisory Control of Resource Allocation Systems
Abstract : 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. READ MORE
-
3. Voronoi-Based Coding
Abstract : 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. READ MORE
-
4. Applications of decision diagrams for low power synthesis
Abstract : 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. READ MORE
-
5. Low power synthesis of BDD mapped circuits
Abstract : 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. READ MORE