Toggle Main Menu Toggle Search

Open Access padlockePrints

A Relation-based Approach to Analysing Semantics of Asynchronous Hardware Specifications

Lookup NU author(s): Professor Alex Yakovlev



Of concern here is a charactersitic detail of asynchronous hardware specifications: their behavioural correctness is determined by the compliance between the global specification of the order between actions in a system and all local operational cliches of composite modules on which these actions are performed without any notion of timing constraints . Weak and strong forms of compliance are elicited with particular emphasis on a stronger form, coherence. A relation-based framework for the semantic analysis of specifications given in a high-level program notation are outlined. It is shown by examples that the rapid prototyping of semantic analysis functions can be achieved through using a Prolog programming environment.

Publication metadata

Author(s): Yakovlev A

Publication type: Report

Publication status: Published

Series Title: Computing Laboratory Technical Report Series

Year: 1989

Pages: 13

Print publication date: 01/11/1989

Source Publication Date: November 1989

Report Number: 286

Institution: Computing Laboratory, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne