Leveraging Formal to Verify SoC Register Map

Author(s):
Abdul Elaydi and Jose Barandiaran
Location:
United States
Year:
2014
Type:
Presentation
Format:
pdf