Model Extraction for Designs Based on Switches for Formal Verification Author(s): Amar Patel, Naman Jain Location: India Year: 2014 Type: Presentation Format: pptx Download
