Browse by author
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
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
URL: http://dl.acm.org/citation.cfm?id=2757141&CFID=540433615&CFTOKEN=48154441
Notes: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7092613&isnumber=7092347
Library holdings: Search Newcastle University Library for this item
ISBN: 9783981537048
