Toggle Main Menu Toggle Search

Open Access padlockePrints

Analysis and Verification of Communication Fabrics

Lookup NU author(s): Dr Frank Burns, Dr Danil Sokolov, Professor Alex Yakovlev


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


xMASCraft is a tool for visual modelling, analysis and verification of GALS xMAS circuits. Thetool is based on a structured approach which provides unique visual feedback about complex deadlocksoccurring at both global and local levels. The deadlocks are identified by a novel unfolding algorithmthat relies on structured occurrence nets driven by synchronisation policy. For deadlock analysis a newrepresentation is used based on blocking/idle relations through which relational analysis can be madebased on querying. This is fed back to the interface in the form of unique textual/graphical feedback providingdetailed relational information. This enables enhanced visualisation of the causality of the deadlocks to beworked out. In particular it reveals vulnerable parts of the system which are susceptible to shut down,point-to-point causes of deadlock occurring between different modules and the original sources ofdeadlocks.

Publication metadata

Artist(s): Burns F, Sokolov D, Yakovlev A

Publication type: Exhibition

Publication status: Published

Year: 2016

Venue: Design, Automation and Test in Europe (DATE'16)

Location: ICC, Dresden

Media of Output: Proceedings of the Design, Automation and Test in Europe (DATE'16)