Session 7: Formal Verification

 Session Chair: Vibarajan Viswanathan

• [1054] Automatic Test Pattern Generation Using Formal Verification and Fault Injection Methods 
  • Jad Al Halabi, Infineon Technologies AG; Endri Kaja, Infineon Technologies AG; Ecker Wolfgang, Infineon Technologies AG          
• [1025] Hierarchical Formal Verification and Progress Checking of Network-On-Chip Design 
  • Pritam Roy, NVIDIA; Ping Yeung, NVIDIA; Joon Hong, NVIDIA; Abhishek Desai, NVIDIA; Aishwarya Raj, NVIDIA; Chirag Agarwal, NVIDIA; Dhruvin Patel, NVIDIA      
• [1080] End-to-end Framework for Novel Datatype Arithmetic Verification 
  • Qiuwen Lou, Amazon; Bing Ji, Amazon; Stevo Bailey, Amazon; Deepak Shivaru, ; Nilabja Chattopadhyay, ; Sankalp Dayal