Exploring Integrated Circuit Verification Methodology for Verification and Validation of PLC Systems. - Manish M. Patil; Shaila Subbaraman; Shirish Joshi (ISED, 2011)