Search for dissertations about: "equivalence checking"

Showing result 1 - 5 of 8 swedish dissertations containing the words equivalence checking.

  2. 1. Dominator-based Algorithms in Logic Synthesis and Verification

    Author : René Krenz-Bååth; Johnny Öberg; Joao Marques-Silva; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; graph dominators; formal verification; logic synthesis; equivalence checking; decomposition; Electrical engineering; Elektroteknik;

    Abstract : Today's EDA (Electronic Design Automation) industry faces enormous challenges. Their primary cause is the tremendous increase of the complexity of modern digital designs. Graph algorithms are widely applied to solve various EDA problems. READ MORE

  4. 2. Graph dominators in logic synthesis and verification

    Author : René Krenz; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; formal verification; logic synthesis; dominators; equivalence checking; decomposition; Computer science; Datavetenskap;

    Abstract : This work focuses on the usage of dominators in circuit graphs in order to reduce the complexity of synthesis and verification tasks. One of the contributions of this thesis is a new algorithm for computing multiple-vertex dominators in circuit graphs. READ MORE

  5. 3. Verification of Infinite-State Systems : Decision Problems and Efficient Algorithms

    Author : Mats Kindahl; Parosh Aziz Abdulla; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Abstract : This thesis presents methods for the verification of distributed systems with infinite state spaces. We consider several verification problems for lossy channel systems, a class of infinite-state systems consisting of finite-state machines that communicate over unbounded, but lossy, FIFO channels. READ MORE

  6. 4. Automated Vulnerability Discovery and Attack Detection Framework for Cyber-Physical Systems

    Author : Fereidoun Moradi; Fereidoun Moradi; Sara Abbaspour Asadollah; Massimo Merro; Mälardalens universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Abstract : The combination of physical assets with cyber computational entities, known as Cyber-Physical Systems (CPS), is becoming more common. These systems are used in various sectors such as manufacturing, energy production, and transportation. READ MORE

  7. 5. The Fusion Calculus : Expressiveness and Symmetry in Mobile Processes

    Author : Björn Victor; Joachim Parrow; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Abstract : The fusion calculus is presented as a significant step towards a canonical calculus of concurrency. It simplifies and extends the π-calculus of Milner, Parrow and Walker.The fusion calculus contains the polyadic π-calculus as a proper subcalculus and thus inherits all its expressive power. READ MORE