Automatic assertion/property generation in hardware and software

  • Generating Concise Assertions with Complete Coverage. Joint work with Lingyi Liu and Chen Hsuan Lin. To appear in Great Lakes Symposium on VLSI (GLSVLSI)

  • Mining Hardware Assertions With Guidance From Static Analysis. Joint work with Samuel Hertz and David Sheridan. To appear in IEEE Trans. on CAD of Integrated Circuits and Systems (IEEE TCAD)

  • Word Level Feature Discovery to Enhance Quality of Assertion Mining. Joint work with Lingyi Liu and Chen-Hsuan Lin. ICCAD 2012.

  • Automatic generation of assertions from system level design using data mining. Joint work with Lingyi Liu, David Sheridan and Viraj Athavale. MEMOCODE 2011.

  • PRECIS: Inferring Invariants using Program Path Guided Clustering. Joint work with Parth Sagdeo, Viraj Athavale and Sumant Kowshik. ASE 2011 .

Variation analysis (timing/process/ageing) in RTL using formal probabilistic and statistical methods

Analog verification