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...
Main Author: | |
---|---|
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 |