FORMAL SPECIFICATION OF THE SECD CHIP TOP AND REGISTER TRANSFER LEVELS

Date
1989-10-01
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
Citation