Toggle Main Menu Toggle Search

Open Access padlockePrints

Efficient Composition of Scenario-based Hardware Specifications

Lookup NU author(s): Alessandro De Gennaro, Dr Paulius Stankaitis, Dr Andrey Mokhov



This is the authors' accepted manuscript of an article that has been published in its final definitive form by The Institution of Engineering and Technology, 2019.

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

Publication metadata

Author(s): de Gennaro A, Stankaitis P, Mokhov A

Publication type: Article

Publication status: Published

Journal: IET Computer and Digital Techniques

Year: 2019

Volume: 13

Issue: 2

Pages: 57-69

Print publication date: 01/03/2019

Online publication date: 21/01/2019

Acceptance date: 25/07/2018

Date deposited: 10/09/2018

ISSN (print): 1751-8601

ISSN (electronic): 1751-861X

Publisher: The Institution of Engineering and Technology


DOI: 10.1049/iet-cdt.2018.5073


Altmetrics provided by Altmetric


Funder referenceFunder name
This research was supported by the Royal Society Research Grant “Computation Alive: Design of a Processor with Survival Instincts”