University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Formal verification of an OCCAM-to-FPGA compiler and its generated logic circuits

Pizarro De La Iglesia, D. (2009) Formal verification of an OCCAM-to-FPGA compiler and its generated logic circuits Doctoral thesis, University of Surrey.

[img]
Preview
Text
Pizarro De La Iglesia2009.pdf

Download (32MB) | Preview
Item Type: Thesis (Doctoral)
Divisions : Theses
Authors :
AuthorsEmailORCID
Pizarro De La Iglesia, D.UNSPECIFIEDUNSPECIFIED
Date : 2009
Contributors :
ContributionNameEmailORCID
Thesis supervisorUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Additional Information : Thesis submitted for the Degree of Doctor of Philosophy, University of Surrey. Copyright remains with the author.
Depositing User : Jonathan Brierley
Date Deposited : 29 Oct 2013 15:39
Last Modified : 26 Nov 2014 14:16
URI: http://epubs.surrey.ac.uk/id/eprint/804379

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year


Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800