Journal article icon

Journal article

Provably correct on−chip communication: A formal approach to automatic protocol converter synthesis

Abstract:

Hardware module reuse is a standard solution to the problems of increasing complexity of chip architectures and pressure to reduce time to market. In the absence of a single module interface standard, predesigned modules for ?plug-and-play? usually require a converter between incompatible interface protocols. Current approaches to automatic synthesis of protocol converters mostly lack formal foundations and either employ abstractions far removed from the HDL implementation level or grossly si...

Expand abstract

Actions


Access Document


Publisher copy:
10.1145/1497561.1497562

Authors


Karin Avnit More by this author
Vijay D'Silva More by this author
Arcot Sowmya More by this author
Sri Parameswaran More by this author
Journal:
Transaction on Design Automation of Electronic Systems (TODAES)
Volume:
14
Issue:
2
Pages:
1-41
Publication date:
2009-03-01
DOI:
URN:
uuid:f048b25b-94a4-4172-84ee-80b4ef387ed8
Local pid:
cs:3096
ISBN:
1084-4309

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP