Exhaustive Latch Flow-through Verification with Formal Methods

Author(s):
Baosheng Wang, Sean Ater, Baris Piyade, Brian McMinn, and Borhan Roohipour
Location:
United States
Year:
2012
Type:
Paper
Format:
pdf