Sökning: "Hardware Compilation"

Visar resultat 1 - 5 av 21 avhandlingar innehållade orden Hardware Compilation.

  1. 1. Building Verified Hardware and Verified Stacks in HOL

    Författare :Andreas Lööw; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; hardware synthesis; compilers; formal verification; interactive theorem proving;

    Sammanfattning : This thesis explores building provably correct software and hardware inside the HOL4 interactive theorem prover. Interactive theorem provers such as HOL4 are proof environments where manual (human) and automated (machine) proofs can be composed in logically safe ways and all proof steps (be it manual or automated) are mechanically checked. LÄS MER

  3. 2. Efficient Modelling and Synthesis of Data Intensive Reconfigurable Systems

    Författare :Per Andersson; Institutionen för datavetenskap; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; kontroll; Systems engineering; numerisk analys; system; control; Datalogi; numerical analysis; systems; Data Flow Graphs; Data Flow Modlling; computer technology; Data- och systemvetenskap; Computer science; Hardware Compilation; Synthesis;

    Sammanfattning : Digital systems are integrated in our environment and have become a natural part of our every day life. As we rely more on these systems our expectations on them increases. We expect them to perform new tasks, communicate and cooperate. The complexity of these systems are increasing. LÄS MER

  4. 3. Protecting Functional Programs From Low-Level Attackers

    Författare :Adriaan Larmuseau; Dave Clarke; Julian Rathke; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Security; Functional Programming; Compilation; Interoperation; Bisimulation; Memory Protection; Datavetenskap; Computer Science;

    Sammanfattning : Software systems are growing ever larger. Early software systems were singular units developed by small teams of programmers writing in the same programming language. Modern software systems, on the other hand, consist of numerous interoperating components written by different teams and in different programming languages. LÄS MER

  5. 4. Hardware/Software Co-Design of Heterogeneous Manycore Architectures

    Författare :Süleyman Savas; Tomas Nordström; Zain Ul-Abdin; Jari Nurmi; Högskolan i Halmstad; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; hardware software co-design; manycore architectures; heterogeneous manycores; processor design; parallel computing; high performance computing;

    Sammanfattning : In the era of big data, advanced sensing, and artificial intelligence, the required computation power is provided mostly by multicore and manycore architectures. However, the performance demand keeps growing. Thus the computer architectures need to continue evolving and provide higher performance. LÄS MER

  7. 5. Building Verified Hardware and Verified Stacks in HOL

    Författare :Andreas Lööw; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This thesis explores building provably correct software and hardware inside the HOL4 interactive theorem prover. Interactive theorem provers such as HOL4 are proof environments where manual (human) and automated (machine) proofs can be composed in logically safe ways, and all proof steps (be it manual or automated) are mechanically checked. LÄS MER