Search for dissertations about: "abstraction refinement"

Showing result 1 - 5 of 11 swedish dissertations containing the words abstraction refinement.

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

    Author : Jan-Willem Roorda; Chalmers University of Technology; []
    Keywords : Semantics; Abstraction; Satisfiability Solver; Symbolic Trajectory Evaluation; Formal Verification.; Model Checking;

    Abstract : 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. READ MORE

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

    Author : Tarvo Raudvere; Axel Jantsch; Sandeep Shukla; KTH; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Electronic System Design; Refinement; Verification; Synchronization; Systems engineering; Systemteknik;

    Abstract : 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. READ MORE

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

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

    Abstract : 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. READ MORE

  4. 4. System Modeling and Design Refinement in ForSyDe

    Author : Ingo Sander; KTH; []
    Keywords : Electronic System Design; Hardware Software Co-Design; Electrical Engineering;

    Abstract : 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. READ MORE

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

    Author : Emil Axelsson; Chalmers University of Technology; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; wire-awareness; hardware design; functional programming; embedded domain-specific languages;

    Abstract : 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. READ MORE