ConfRes: interactive coding conflict resolver based on core visualisation

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

Volumn 2003-January, Issue , 2003, Pages 243-244

  Madalinski, A ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

Asynchronous circuits; Circuit synthesis; Displays; Encoding; Explosions; Signal design; Signal resolution; Signal synthesis; State space methods; Visualization

Indexed keywords

ASYNCHRONOUS SEQUENTIAL LOGIC; DISPLAY DEVICES; ENCODING (SYMBOLS); EXPLOSIONS; FLOW VISUALIZATION; STATE SPACE METHODS; SYSTEMS ANALYSIS; VISUALIZATION;

ASYNCHRONOUS CIRCUITS; CIRCUIT SYNTHESIS; SIGNAL DESIGN; SIGNAL RESOLUTION; SIGNAL SYNTHESIS;

DESIGN;

EID: 0345567731     PISSN: 15504808     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSD.2003.1207724     Document Type: Conference Paper

References (5)

1. J. Cortadella, M. Kishinevsky, A. Kondratyev, L.Lavagno, and A. Yakovlev, Synthesis of Asynchronous Controllers and Interfaces, Springer Verlag, 2002.
2. V. Khomenko, M. Koutny, and A. Yakovlev, "Detecting State Coding Conflicts in STGs Using Integer Programming", Proc. of DATE'02, IEEE Comp. Soc. Press, 2002, 338-345.
3. A. Madalinski, V. Khomenko, A. Bystrov, and A. Yakovlev, "Visualisation and Resolution of Coding Conflicts in Asynchronous Circuit Design", Proc. of DATE'03, IEEE Comp. Soc. Press, 2003, 926-931.
4. V. Khomenko, "Model Checking Based on Petri Net Unfolding Prefixes", PhD Thesis, Department of Computing Science, University of Newcastle, 2002.
5. E. Koutsofios, and S. North, "Dot User's Manual", AT&T Labs-Research, 2002.