Browsing NTNU Open by Author "Urdahl, Joakim Henrik"
Now showing items 1-1 of 1
-
Formal SoC Bus Verification with Sound Abstractions
Urdahl, Joakim Henrik (Master thesis, 2009)The fast development of semi-conductor technologies is matched for system design by an incrementing re-use of intellectual property (IP); this leaves verification as the biggest task. The verification problem has been known ...