Please use this identifier to cite or link to this item:
|Title:||FORMAL SPECIFICATION OF THE SECD CHIP TOP AND REGISTER TRANSFER LEVELS|
|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.|
|Appears in Collections:||Technical Reports|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.