Formulation and Evaluation of Euterpeoleracea In-Situ Gel for Better Treatment of Conjunctivitis von Spandana, Kanuri, Kiran, Ramineni Shireesh, Sharma, Ganti Subrahmanya, Rama Rao, Tadikonda

Volltext

Verifying Complex Interaction between Hardware Processes von Ramineni

Volltext

A Control-Oriented Coverage Metric and its Evaluation for Hardware Designs von Verma, Shireesh, Ramineni, Kiran, Harris, Ian G.

Volltext

Automatic Generation of Functional Coverage Models from Behavioral Verilog Descriptions von Shireesh Verma, Harris, I.G., Kiran Ramineni

Volltext

Automatic generation of functional coverage models from CTL von Verma, S., Harris, I.G., Ramineni, K.

Volltext

Evaluation of an efficient control-oriented coverage metric von Ramineni, K., Verma, S., Harris, I.G.

Volltext

Improving feasible interactions among multiple processes von Ramineni, K., Harris, I.G., Verma, S.

Volltext

Interactive presentation: Automatic generation of functional coverage models from behavioral verilog descriptions von Verma, Shireesh, Harris, Ian G., Ramineni, Kiran

Volltext

Interactive presentation: Automatic generation of functional coverage models from behavioral verilog descriptions von Verma, Shireesh, Harris, Ian G, Ramineni, Kiran

Volltext