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