Accelerated, High Quality SoC Memory Map Verification using Formal Techniques

Author(s):
Cletan Sequeira, Rajesh Kedia, Lokesh Babu Pundreeka, and Bijitendra Mittra
Location:
United States
Year:
2014
Type:
Paper
Format:
pdf