A process algebra foundation for reasoning about core ELLA
H Barringer, G Gouch, B Monahan… - The Computer …, 1996 - academic.oup.com
A process algebraic foundation has been developed for formal analysis of synchronous
hardware designs represented through the commercially available hardware design …
hardware designs represented through the commercially available hardware design …
[LIBRO][B] A Process Algebraic Semantics for Core ELLA.
H Barringer, G Gough, B Monahan, A Williams - 1994 - researchgate.net
We give a presentation of a trace-based semantics of Core ELLA, a covering subset of the
commercial hardware description language ELLA, using a synchronous process algebra …
commercial hardware description language ELLA, using a synchronous process algebra …
Formal support for the ELLA hardware description language
H Barringer, G Gough, B Monahan… - Correct Hardware Design …, 1995 - Springer
We describe the development of formal verification support tools for the commercial
hardware description language ELLA, which are embedded into an industrial-style …
hardware description language ELLA, which are embedded into an industrial-style …
Structure and behaviour in hardware verification
KGW Goossens - HOL Users' Group Workshop, 1993 - Springer
In this paper we review how hardware has been described in the formal hardware
verification community. Recent developments in hardware description are evaluated against …
verification community. Recent developments in hardware description are evaluated against …
[LIBRO][B] The formalisation of a hardware description language in a proof system: Motivation and applications
KGW Goossens - 1993 - Citeseer
Hardware description languages (hdls) are a notation to describe behavioural and structural
aspects of circuit designs. We discuss why it is worthwhile to give a formal semantics for an …
aspects of circuit designs. We discuss why it is worthwhile to give a formal semantics for an …
[PS][PS] Requirements Specification for Soft Logic Analyser
HBGGB Monahan, A Williams - apt.cs.manchester.ac.uk
The phrase 'soft logic analyser'(SLA) was coined during a discussion in an IED/ELLA project
meeting [Mtg92a]. It was envisaged to be based around the design simulator, with enhanced …
meeting [Mtg92a]. It was envisaged to be based around the design simulator, with enhanced …
[PS][PS] Formal Support for the ELLA Hardware Description
HBGGB Monahan, A Williams - … Hardware Design and …, 1995 - apt.cs.manchester.ac.uk
Formal Support for the ELLA Hardware Description Language Page 1 & % CHARME’95,
Frankfurt Formal Support for the ELLA Hardware Description Language Howard Barringer …
Frankfurt Formal Support for the ELLA Hardware Description Language Howard Barringer …
[CITAZIONE][C] Structure and Behaviour in Hardware Veri cation1
KGW Goossens