Structure and Behaviour in Hardware Verification

K G W Goossens

Abstract: In this paper we review how hardware has been described in the formal hardware verification community. Recent developments in hardware description are evaluated against the background of the use of hardware description languages, and also in relation to programming languages. The notions of structure and behaviour are crucial to the discussion.

LFCS report ECS-LFCS-93-273, July 1993.

Previous | Index | Next