Search for dissertations about: "Tarvo Raudvere"

Found 2 swedish dissertations containing the words Tarvo Raudvere.

  2. 1. Verification of local design refinements in a system design methodology

    Author : Tarvo Raudvere; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer and systems science; Data- och systemvetenskap;

    Abstract : .... READ MORE

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

    Author : Tarvo Raudvere; Axel Jantsch; Sandeep Shukla; KTH; []
    Keywords : 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