Toggle Main Menu Toggle Search

Open Access padlockePrints

GALS synthesis and verification for xMAS models

Lookup NU author(s): 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.


In this paper a novel Globally Asynchronous Locally Synchronous (GALS) synthesis and verification environment is introduced for xMAS models. xMAS models are a new communication paradigm which can be used to model circuits and networks for the purpose of synthesis, testing and verification. Previous attempts at synthesis and verification of xMAS models have been proposed for synchronous implementations only. This paper provides an extension of xMAS and translation into Circuit Petri net models for GALS synthesis and verification. Synthesis techniques based on Circuit Petri net translation are presented and a new xMAS component is introduced which acts as a wrapper for different GALS styles. Novel verification techniques using unfolding to occurrence nets are then proposed. Our results show that the work presented here provides a suitable platform for integrating xMAS into a GALS environment

Publication metadata

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

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: DATE '15 Design, Automation & Test in Europe Conference & Exhibition

Year of Conference: 2015

Pages: 1419-1424

Print publication date: 09/03/2015

Online publication date: 09/03/2015

Acceptance date: 31/10/2014

Publisher: EDA Consortium



Library holdings: Search Newcastle University Library for this item

ISBN: 9783981537048