Browse by author
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.
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
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/286.pdf
