Using Formal Techniques to Verify SoC Reset Schemes

Author(s):
Kaowen Liu, Penny Yang, Mark Eslinger, Jeremy Levitt, and Matt Berman
Location:
United States
Year:
2013
Type:
Poster
Format:
pdf