A Novel Design in Formal Verification Corresponding to Mixed Signals by Differential Learning. - D. S. Vidhya; Manjunath Ramachandra (CSOC (3), 2017)