System Level Techniques for Verification and Synchronization after Local Design Refinements

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...

Full description

Bibliographic Details
Main Author: Raudvere, Tarvo
Format: Doctoral Thesis
Language:English
Published: KTH, Elektronik- och datorsystem, ECS 2007
Subjects:
Online Access:http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-4471
http://nbn-resolving.de/urn:isbn:978-91-7178-677-7