FORMAL SPECIFICATION OF THE SECD CHIP TOP AND REGISTER TRANSFER LEVELS
Date
1989-10-01
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
This report compiles the formal HOL definitions at the top and
register transfer levels of the SECD Chip. Three sections cover
abstract data types, component and specification definitions,
and proofs of correctness of several segments.
Description
Keywords
Computer Science