Interfacing Synchronous and Asynchronous Domains for Open Core Protocol.

Vikas S. Vij Raghu Prasad Gudla Kenneth S. Stevens

Published in: VLSI Design (2014)

Keyphrases

application domains
formal analysis
complex domains
communication protocol
lightweight
coloured petri nets
case study
open systems
group communication