Concepedia

S.R. Karri

SK

Statistics

Publications

3

Citations

127

H-Index

3

Active since

2003

Affiliations

National University of Singapore(Current)

S.R. Karri is an author at National University of Singapore specializing in formal hardware verification, system-on-chip design, and computer engineering.

Publications per year

2003–2006

3

Publications

3

Using Formal Techniques to Debug the AMBA System-on-Chip Bus Protocol

Abhik Roychoudhury, Tulika Mitra, S.R. Karri · 2003 · 73 citations

, , +17

Using formal techniques to debug the AMBA system-on-chip bus protocol

Abhik Roychoudhury, Tulika Mitra, S.R. Karri · 2003 Design, Automation and Test in Europe Conference and Exhibition · 2003 · 41 citations

, , +17

Low-Power UWB LNA and Mixer using 0.18-μm CMOS Technology

S.R. Karri, Muthukumaraswamy Annamalai Arasu, King Wah Wong et al. · 2006 · 13 citations

, , +16

1–3 of 3