Sökning: "logic synthesis"

Visar resultat 16 - 20 av 53 avhandlingar innehållade orden logic synthesis.

  1. 16. 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. 17. A Verified Theorem Prover for Higher-Order Logic

    Författare :Oskar Abrahamsson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; formal verification; higher-order logic; interactive theorem provers;

    Sammanfattning : This thesis is about mechanically establishing the correctness of computer programs. In particular, we are interested in establishing the correctness of tools used in computer-aided mathematics. We build on tools for proof-producing program synthesis, and verified compilation, and a verified theorem proving kernel. LÄS MER

  4. 18. The Synthesis of Molecular Switches Based Upon Ru(II) Polypyridyl Architecture for Electronic Applications

    Författare :Robert Steen; Simon Dunne; Jan Bergman; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Molecular Electronics; ruthenium; pyridyl complexes; ligand design; ligand synthesis; Organic chemistry; Organisk kemi; Biotechnology Chemical Engineering; bioteknik kemiteknik;

    Sammanfattning : According to the famous axiom known as Moore’s Law the number of transistors that can be etched on a given piece of silicon, and therefore the computing power, will double every 18 to 24 months. For the last 40 years Moore’s prediction has held true as computers have grown more and more powerful. LÄS MER

  5. 19. Verified proof checking for higher-order logic

    Författare :Oskar Abrahamsson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This thesis is about verified computer-aided checking of mathematical proofs. We build on tools for proof-producing program synthesis, and verified compilation, and a verified theorem proving kernel. Using these tools, we have produced a mechanized proof checker for higher-order logic that is verified to only accept valid proofs. LÄS MER

  7. 20. 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