Sampada Sonalkar

Publication Activity (10 Years)

Years Active: 2004-2010
Publications (10 Years): 0

Publications

Cheng-Hong Li, Sampada Sonalkar, Luca P. Carloni
Exploiting local logic structures to optimize multi-core SoC floorplanning. DATE (2010)
Vijay D'Silva, Sampada Sonalkar, S. Ramesh
Existential abstractions for distributed reactive systems via syntactic transformations. EMSOFT (2007)
Cheng-Hong Li, Rebecca L. Collins, Sampada Sonalkar, Luca P. Carloni
Design, Implementation, and Validation of a New Class of Interface Circuits for Latency-Insensitive Design. MEMOCODE (2007)
S. Ramesh, Sampada Sonalkar, Vijay D'Silva, Naveen Chandra, B. Vijayalakshmi
A Toolset for Modelling and Verification of GALS Systems. CAV (2004)