Toggle Main Menu Toggle Search

Open Access padlockePrints

Visualisation of Coding Conflicts in Asynchronous Circuit Design

Lookup NU author(s): Agnes Madalinski, Dr Alex Bystrov, Professor Alex Yakovlev



Synthesis of asynchronous circuits from Signal Transition Graphs (STGs) involves solving state coding conflicts. The refinement process is generally done automatically using heuristics and can often produce a sub-optimal solution, which has to be corrected manually by the designer. This paper presents a framework for an interactive refinement process aimed to help the designer. Rather than using actual conflicts, the process is based on the visualisation of conflict cores. Cores are sets of transitions causing state coding conflicts, which are represented at the level of a finite complete prefix (unfolding) of STGs.

Publication metadata

Author(s): Madalinski A, Bystrov A, Yakovlev A

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 2002

Pages: 14

Print publication date: 01/05/2002

Source Publication Date: May 2002

Report Number: 768

Institution: Department of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne