@techreport{R-89-53,
TITLE = {Mixed Functional and Temporal Hardware Verification},
AUTHOR = {Tony Larsson},
YEAR = {1989},
NUMBER = {R-89-53},
INSTITUTION = ida,
ADDRESS = idaaddr,
ABSTRACTURL = {/publications/cgi-bin/tr-fetch.pl?r-89-53+abstr},
ABSTRACT = {We a present higher-order description language extended with a temporal operator. The temporal extension is defined by a set of axioms and a temporal model. We give examples on the description of hardware circuits and temporal constraints on these. Further a verification method based on transformations is presented and illustrated by an example proof of a finite impulse response filter.},
IDANR = {LiTH-IDA-R-89-53},
NOTE = {Also in Proc. of Applied Formal Methods For Correct VLSI Design, 13-16 November 1989, Leuven, Belgium}