Modeling and verification of globally asynchronous and locally synchronous ring architectures

Proceedings -Design, Automation and Test in Europe, DATE '05

Volumn I, Issue , 2005, Pages 568-569

  Dasgupta, Sohini ^a   Yakovlev, Alex ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONOUS MACHINERY; AUTOMATION; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; PRODUCT DESIGN; SYSTEMS ANALYSIS;

BUILDING SYSTEMS; GLOBAL DEADLOCK SITUATION; PUBLIC DOMAIN VERIFICATION TOOLS; SYNCHRONOUS RING ARCHITECTURES;

COMPUTER ARCHITECTURE;

EID: 33646921476     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2005.212     Document Type: Conference Paper

References (2)

1. Villiger, T. H, Gurkaynak, F.K.: Self timed ring for globally asynchronous and locally synchronous systems. In Proc. of the ninth International Symposium on Asynchronous Circuits and Systems (2003).
2. Khomenko, V.: Model checking based on prefixes of petri net unfoldings, PhD thesis, University of Newcastle, (2003).