Kiran Ramineni

According to our database, Kiran Ramineni authored at least 5 papers between 2005 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Evaluation of an efficient control-oriented coverage metric.

Kiran Ramineni, Shireesh Verma, Ian G. Harris

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2008

2007

Automatic generation of functional coverage models from CTL.

Shireesh Verma, Ian G. Harris, Kiran Ramineni

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2007

Improving feasible interactions among multiple processes.

Kiran Ramineni, Ian G. Harris, Shireesh Verma

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2007

Interactive presentation: Automatic generation of functional coverage models from behavioral verilog descriptions.

Shireesh Verma, Ian G. Harris, Kiran Ramineni

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

2005

An efficient control-oriented coverage metric.

Shireesh Verma, Kiran Ramineni, Ian G. Harris

Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005