Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

Visualisation and resolution of encoding conflicts in asynchronous circuit design

Lookup NU author(s): Agnes Madalinski, Dr Alex Bystrov, Dr Victor Khomenko, Professor Alex YakovlevORCiD

Downloads

Abstract

Synthesis of asynchronous circuits from signal transition graphs (STGs) involves resolution of state encoding conflicts by means of refining the STG specification. The refinement process is generally done automatically using heuristics. It often produces suboptimal solutions or sometimes fails to solve the problem. Thus manual intervention by the designer may be required. A framework is presented for an interactive refinement process aimed to help the designer. It is based on the visualisation of conflict cores, i.e. sets of transitions causing encoding conflicts, which are represented at the level of finite and complete prefixes of STG unfoldings.

Publication metadata

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

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 6th Conference on Design and Test in Europe (DATE03)

Year of Conference: 2003

Pages: 285-293

ISSN: 1751-8601

Publisher: IEE Proceedings: Computers and Digital Techniques

URL: http://dx.doi.org/10.1049/ip-cdt:20030831

DOI: 10.1049/ip-cdt:20030831

Library holdings: Search Newcastle University Library for this item

ISBN: 1751861X

Share