Toggle Main Menu Toggle Search

Open Access padlockePrints

Formal Verification of Mixed Synchronous Asynchronous Systems using Industrial Tools

Lookup NU author(s): Dr Ghaith Tarawneh, Dr Andrey Mokhov



This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by IEEE, 2018.

For re-use rights please refer to the publisher's terms and conditions.

Publication metadata

Author(s): Tarawneh G, Mokhov A

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)

Year of Conference: 2018

Pages: 43-50

Online publication date: 27/12/2018

Acceptance date: 07/02/2018

Date deposited: 07/02/2018

Publisher: IEEE


DOI: 10.1109/ASYNC.2018.00022

Library holdings: Search Newcastle University Library for this item

ISBN: 9781538658833