 | 2010 |
|---|
| 4 |       | Karin Avnit,
Arcot Sowmya,
Jorgen Peddersen:
ACS: Automatic Converter Synthesis for SoC Bus Protocols.
TACAS 2010: 343-348 |
| 2009 |
|---|
| 3 | | Karin Avnit,
Arcot Sowmya:
A formal approach to design space exploration of protocol converters.
DATE 2009: 129-134 |
| 2 | | Karin Avnit,
Vijay D'Silva,
Arcot Sowmya,
S. Ramesh,
Sri Parameswaran:
Provably correct on-chip communication: A formal approach to automatic protocol converter synthesis.
ACM Trans. Design Autom. Electr. Syst. 14(2): (2009) |
| 2008 |
|---|
| 1 | | Karin Avnit,
Vijay D'Silva,
Arcot Sowmya,
S. Ramesh,
Sri Parameswaran:
A Formal Approach To The Protocol Converter Problem.
DATE 2008: 294-299 |
Data released under the ODC-BY 1.0 license — See also our legal information page