Search for dissertations about: "abstraction refinement"
Showing result 1 - 5 of 12 swedish dissertations containing the words abstraction refinement.
-
1. Semantics, Decision Procedures, and Abstraction Refinement for Symbolic Trajectory Evaluation
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. System Level Techniques for Verification and Synchronization after Local Design Refinements
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. Real-Time Workload Models : Expressiveness vs. Analysis Efficiency
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. System Modeling and Design Refinement in ForSyDe
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. Functional Programming Enabling Flexible Hardware Design at Low Levels of Abstraction
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