A Structured Visual Approach to GALS Modelling and Verification of Communication Circuits
- Submitting institution
-
University of Newcastle upon Tyne
- Unit of assessment
- 12 - Engineering
- Output identifier
- 228421-72918-1293
- Type
- D - Journal article
- DOI
-
10.1109/TCAD.2016.2611508
- Title of journal
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
- Article number
- -
- First page
- 938
- Volume
- 36
- Issue
- 6
- ISSN
- 0278-0070
- Open access status
- Compliant
- Month of publication
- September
- Year of publication
- 2016
- URL
-
http://dx.doi.org/10.1109/TCAD.2016.2611508
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
2
- Research group(s)
-
-
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Globally Asynchronous Locally Synchronous systems design is known as hard to automate. This paper breaks through this problem. Its first version was presented at high-rank conference DATE: F. Burns, D. Sokolov and A. Yakovlev, GALS synthesis and verification for XMAS models, Proc. DATE 2015, Grenoble. This research was supported by EPSRC project UNCOVER (EP/K001698/1), partnered by Intel Corp, where the XMAS model originated. The method described in this paper has been incorporated as a plug-in in the Newcastle CAD software tool Workcraft, which is widely used by industry and acadermia (see Impact Case Study on Workcraft).
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -