Methodology for the formal specification of RTL RISC processor designs (with particular reference to the ARM6)

Schostak, Daniel Paul (2003) Methodology for the formal specification of RTL RISC processor designs (with particular reference to the ARM6). PhD thesis, University of Leeds.

Abstract

Metadata

Publicly visible additional information: Supplied directly by the School of Computing, University of Leeds.
Awarding institution: University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering (Leeds) > School of Computing (Leeds)
Identification Number/EthosID (e.g. uk.bl.ethos.123456): uk.bl.ethos.529168
Depositing User: Dr L G Proll
Date Deposited: 03 Mar 2011 16:22
Last Modified: 07 Mar 2014 11:23

Download

Share / Export


You do not need to contact us to get a copy of this thesis. Please use the 'Download' link(s) above to get a copy.
You can contact us about this thesis. If you need to make a general enquiry, please see the Contact us page.