Please use this identifier to cite or link to this item: http://hdl.handle.net/1880/46591
Title: FORMAL SPECIFICATION OF THE SECD CHIP TOP AND REGISTER TRANSFER LEVELS
Authors: Graham, Brian
Keywords: Computer Science
Issue Date: 1-Oct-1989
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.
URI: http://hdl.handle.net/1880/46591
Appears in Collections:Technical Reports

Files in This Item:
File Description SizeFormat 
1989-370-32.pdf8.41 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.