CONFRES: Interactive Coding Conflict Resolver Based on Core Visualisation

Authors:
A. Madalinski
Affiliations:
-
Venue:
ACSD '03 Proceedings of the Third International Conference on Application of Concurrency to System Design
Year:
2003

Citing 0
Cited 2

Detecting State Encoding Conflicts in STG Unfoldings Using SAT

Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Detecting State Encoding Conflicts in STG Unfoldings Using SAT

Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)

Quantified Score

Hi-index	0.00

Visualization

Abstract

The tool supports manual resolution of coding conflicts in asynchronous circuit specification given as Signal Transition Graphs (STGs) and displays them as partial orders (finite and complete prefixes of STG unfoldings). The manual approach although efficient requires a significant effort from the designer. The tool CONFRES assists the designer by visualising the conflict cores, their superposition and the constraints on signal insertion.