Sökning: "abstraction refinement"

Visar resultat 1 - 5 av 12 avhandlingar innehållade orden abstraction refinement.

  1. 1. Semantics, Decision Procedures, and Abstraction Refinement for Symbolic Trajectory Evaluation

    Författare :Jan-Willem Roorda; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Semantics; Abstraction; Satisfiability Solver; Symbolic Trajectory Evaluation; Formal Verification.; Model Checking;

    Sammanfattning : The rapid growth in hardware complexity has led to a need for formal verification of hardware designs to prevent bugs from entering the final silicon. Model-checking is a verification method in which a model of a system is checked against a property, describing the desired behaviour of the system over time. LÄS MER

  3. 2. System Level Techniques for Verification and Synchronization after Local Design Refinements

    Författare :Tarvo Raudvere; Axel Jantsch; Sandeep Shukla; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Electronic System Design; Refinement; Verification; Synchronization; Systems engineering; Systemteknik;

    Sammanfattning : Today's advanced digital devices are enormously complex and incorporate many functions. In order to capture the system functionality and to be able to analyze the needs for a final implementation more efficiently, the entry point of the system development process is pushed to a higher level of abstraction. LÄS MER

  4. 3. Real-Time Workload Models : Expressiveness vs. Analysis Efficiency

    Författare :Martin Stigge; Wang Yi; Sanjoy Baruah; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Real-time systems; task models; EDF; fixed-priority scheduling; schedulability analysis; response-time analysis; abstraction refinement; Computer Science with specialization in Real Time Systems; Datavetenskap med inriktning mot realtidssystem;

    Sammanfattning : The requirements for real-time systems in safety-critical applications typically contain strict timing constraints. The design of such a system must be subject to extensive validation to guarantee that critical timing constraints will never be violated while the system operates. LÄS MER

  5. 4. System Modeling and Design Refinement in ForSyDe

    Författare :Ingo Sander; KTH; []
    Nyckelord :Electronic System Design; Hardware Software Co-Design; Electrical Engineering;

    Sammanfattning : Advances in microelectronics allow the integration of more andmore functionality on a single chip. Emerging system-on-a-chiparchitectures include a large amount of heterogeneous componentsand are of increasing complexity. Applications using thesearchitectures require many low-level details in order to yield anefficient implementation. LÄS MER

  7. 5. Functional Programming Enabling Flexible Hardware Design at Low Levels of Abstraction

    Författare :Emil Axelsson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; wire-awareness; hardware design; functional programming; embedded domain-specific languages;

    Sammanfattning : Continuous down-scaling of sizes in VLSI circuits causes low-level electrical phenomena to become more and more prominent performance stoppers in modern chip technologies. This forces designers to work at a lower level of abstraction than desired in order to gain control over these effects. LÄS MER