An efficient control-oriented coverage metric. - Shireesh Verma; Kiran Ramineni; Ian G. Harris (ASP-DAC, 2005)

Interactive presentation: Automatic generation of functional coverage models from behavioral verilog descriptions. - Shireesh Verma; Ian G. Harris; Kiran Ramineni (DATE, 2007)

Improving feasible interactions among multiple processes. - Kiran Ramineni; Ian G. Harris; Shireesh Verma (HLDVT, 2007)

Automatic generation of functional coverage models from CTL. - Shireesh Verma; Ian G. Harris; Kiran Ramineni (HLDVT, 2007)

Evaluation of an efficient control-oriented coverage metric. - Kiran Ramineni; Shireesh Verma; Ian G. Harris (HLDVT, 2008)