Formal support for the ELLA hardware description language
Howard Barringer, Graham Gough, Brian C. Monahan, Alan R Williams · Lecture notes in computer science · 1995
We describe the development of formal verification support tools for the commercial hardware description language ELLA, which are embedded into an industrial-style hardware design system, to be utilised by hardware engineers. A formal semantics for ELLA is given using various semantic representations, including state machines and process algebraic terms, so that different formal analysis methods can be used. In particular, a novel symbolic verification method can be used with the process terms generated from ELLA-text, giving a high level and efficient means of verifying the correctness of ELLA designs.