A design and verification environment for ELLA
Howard Barringer, Graham Gough, Brian C. Monahan, Alan R Williams, M. Arcus, A. Armstrong, M. Hill · 2002
We describe a fully integrated design environment for the Hardware Description Language ELLA, which provides formal verification support to the hardware engineer. The environment includes both conventional hardware design tools, and special purpose tools for ELLA-level design transformation, symbolic simulation and formal verification. All tools operate from an underlying formal semantic representation of ELLA. The operation of the various tools is described from the user viewpoint via a simple design example.