3 papers
cs.FL2018
Real-Time Systems Modeling and Analysis
Lakhan Shiva Kamireddy
This paper is a survey of extensions to finite automata theory to model real-time systems as well as systems exhibiting mixed discrete-continuous behavior. Real-time systems mainta…
cs.OH2018
UVM Based Reusable Verification IP for Wishbone Compliant SPI Master Core
Lakhan Shiva Kamireddy, Lakhan Saiteja Kamireddy
The System on Chip design industry relies heavily on functional verification to ensure that the designs are bug-free. As design engineers are coming up with increasingly dense chip…
cs.OH2018
PlayNPort: A Portable Wireless Music Player and Text Reader System
Lakhan Shiva Kamireddy, Dharmik Thakkar, Lakhan Saiteja K
Portable Consumer Electronics has made a mark in the industry. With the ease of use at an accessible price range, they have experienced significant growth in the market. Our idea i…