Larsson:, T. (1987). Specification and Verification of VLSI Systems Actional Behaviour. Technical Report LiTH-IDA-R-87-17, Department of Computer and Information Science, Linköping University, Sweden. This is a close version of a paper presented at the 8th international conference on Computer Hardware Description Languages, CHDL, 1987. (bibtex),
Abstract: A specification language, ASL, a semantic model, and transformation rules related to the language are presented. The behaviour of a system is divided into time dependent actional aspects and into time independent functional transformation and data type aspects. The paper focuses upon the specification of a systems actional behaviour and the semantics of this part of the specification language. A set of calculus, port, and event reduction rules are proposed as tools for verification.
CS Dept TR Overview