Achieve Complete SoC Memory Map Verification Through Efficient Combination of Formal and Simulation Techniques

Author(s):
Clemens Roettgermann, Peter Limmer, and Michael Rohleder
Location:
Europe
Year:
2015
Type:
Paper
Format:
pdf