Formal SoC Bus Verification with Sound Abstractions
Joakim Urdahl · 75 · 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 verificat ...