Model Extraction for Designs Based on Switches for Formal Verification

Author(s):
Amar Patel, Naman Jain
Location:
India
Year:
2014
Type:
Paper
Format:
pdf