Sampada Sonalkar

According to our database, Sampada Sonalkar authored at least 4 papers between 2004 and 2010.

Collaborative distances:

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

2010

Exploiting local logic structures to optimize multi-core SoC floorplanning.

Cheng-Hong Li, Sampada Sonalkar, Luca P. Carloni

Proceedings of the Design, Automation and Test in Europe, 2010

2007

Design, Implementation, and Validation of a New Class of Interface Circuits for Latency-Insensitive Design.

Cheng-Hong Li, Rebecca L. Collins, Sampada Sonalkar, Luca P. Carloni

Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007

Existential abstractions for distributed reactive systems via syntactic transformations.

Vijay D'Silva, Sampada Sonalkar, S. Ramesh

Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

2004

A Toolset for Modelling and Verification of GALS Systems.

S. Ramesh, Sampada Sonalkar, Vijay D'Silva, Naveen Chandra, B. Vijayalakshmi

Proceedings of the Computer Aided Verification, 16th International Conference, 2004