@techreport{R-87-17, TITLE = {Specification and Verification of VLSI Systems Actional Behaviour}, AUTHOR = {Tony Larsson:}, YEAR = {1987}, NUMBER = {R-87-17}, INSTITUTION = ida, ADDRESS = idaaddr, ABSTRACTURL = {/publications/cgi-bin/tr-fetch.pl?r-87-17+abstr}, 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.}, IDANR = {LiTH-IDA-R-87-17}, NOTE = {This is a close version of a paper presented at the 8th international conference on Computer Hardware Description Languages, CHDL, 1987}