Title :
Invited talks [2011 11th International Conference on Application of Concurrency to System Design]
Author_Institution :
Inst. of Comput. Sci., Univ. of Augsburg, Augsburg, Germany
Abstract :
These invited talks discuss the following: STG Decomposition and Its Correctness; Asynchronous Network-On-Chip and its Potential.
Keywords :
Petri nets; asynchronous circuits; network-on-chip; reachability analysis; NoC architectures; PETRIFY; PUNF&MPSAT; Petri nets; STG decomposition; asynchronous control circuit; asynchronous network-on-chip; circuit signal; delay variation tolerance; multi clock system; reachability graph; signal transition graph; speed independent circuit; state explosion;
Conference_Titel :
Application of Concurrency to System Design (ACSD), 2011 11th International Conference on
Conference_Location :
Newcastle Upon Tyne
Print_ISBN :
978-1-61284-974-4
DOI :
10.1109/ACSD.2011.8
