Sökning: "Pipelined Processor"

Visar resultat 1 - 5 av 14 avhandlingar innehållade orden Pipelined Processor.

  1. 1. Towards a Trustworthy Stack: Formal Verification of Low-Level Hardware and Software

    Författare :Ning Dong; Roberto Guanciale; Mads Dam; Magnus Myreen; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Formal Verification; Information Flow; Refinement; Interactive Theorem Prover; HOL4; Serial Interface; Pipelined Processor; Microarchitecture; Out-of-order Execution; Formell Verifiering; Informationsflöde; Förfining; Interaktiva Bevisprogrammet; HOL4; Seriellt Gränssnitt; Pipelined Processor; Mikroarkitektur; Omordnad Exekvering; Datalogi; Computer Science;

    Sammanfattning : Computer systems, consisting of hardware and software, have gained significant importance in the digitalised world. These computer systems rely on critical components to provide core functionalities and handle sensitive data. LÄS MER

  3. 2. NoGAP: Novel Generator of Accelerators and Processors

    Författare :Per Axel Karlström; Dake Liu; Peter Marwedel; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; ADL; ESL; Processor; Accelerator; Compiler; Electrical engineering; Elektroteknik; Computer engineering; Datorteknik;

    Sammanfattning : ASIPs are needed to handle the future demand of flexible yet highperformance embedded computing. The flexibility of ASIPs makes them preferable over fixed function ASICs. Also, a well designed ASIP, has a power consumption comparable to ASICs.  However the cost associated with ASIP design is a limiting factor for a more wide spread adoption. LÄS MER

  4. 3. Intra-packet data-flow protocol processor

    Författare :Tomas Henriksson; Linköpings universitet; []
    Nyckelord :TECHNOLOGY; TEKNIKVETENSKAP;

    Sammanfattning : Protocol processing is the bottleneck in high-speed computer networks. Many network processors have been suggested for switches and routers. Protocol processing in terminals has other characteristics than the processing in switches and routers. Therefore a new type of processor is desirable for terminals. LÄS MER

  5. 4. A WCET Analysis Method for Pipelined Microprocessors with Cache Memories

    Författare :Thomas Lundqvist; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; real-time systems; data cache; infeasible paths; pipeline; instruction cache; dynamically scheduled processor; worst-case execution time; timing analysis; path analysis; timing anomaly;

    Sammanfattning : When constructing real-time systems, safe and tight estimations of the worst case execution time (WCET) of programs are needed. To obtain tight estimations, a common approach is to do path and timing analyses. LÄS MER

  7. 5. Processor Pipelines and Static Worst-Case Execution Time Analysis

    Författare :Jakob Engblom; Peter Puschner; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Information technology; Informationsteknik; Computer Systems; Datorteknik;

    Sammanfattning : Worst-Case Execution Time (WCET) estimates for programs are necessary when building real-time systems. They are used to ensure timely responses from interrupts, to guarantee the throughput of cyclic tasks, as input to scheduling and schedule analysis algorithms, and in many other circumstances. LÄS MER