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

Doctoral Thesis

Open access

D. Pizarro De La Iglesia

Doctor of Philosophy (PhD), University of Surrey

29/10/2013

Abstract

pdf

Pizarro De La Iglesia200930.99 MBDownload View

TextCC BY-NC-SA V4.0, Open Access

80 File views/ downloads

33 Record Views

Title: Formal verification of an OCCAM-to-FPGA compiler and its generated logic circuits
Creators: D. Pizarro De La Iglesia
Contributors: University of Surrey (Institution)
Awarding Institution: University of Surrey; Doctor of Philosophy (PhD)
Theses and Dissertations: Doctor of Philosophy (PhD), University of Surrey
Date submitted: 29/10/2013
Identifiers: 99513931702346
Academic Unit: Surrey research (other units)
Resource Type: Doctoral Thesis