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:
Presentation
Format:
pdf