Tackling the Complexity Problem in Control and Datapath Designs with Formal Verification

Author(s):
Ravindra Aneja, Ashish Darbari, Nitin Mhaske, and Per Bjesse
Location:
United States
Year:
2019
Type:
Presentation
Format:
pdf