Verification of Generated VHDL Systems

Wood, Stephen K. and Akehurst, David H. and Howells, Gareth and McDonald-Maier, Klaus D. Verification of Generated VHDL Systems. In: Fifth UK Embedded Forum, 23rd - 24th September 2009, Leicester, UK. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. (Contact us about this Publication)

Item Type:	Conference or workshop item (Paper)
Subjects:	T Technology > TK Electrical engineering. Electronics Nuclear engineering > TK7800 Electronics (see also: telecommunications) > TK7880 Applications of electronics (inc industrial & domestic) > TK7885 Computer engineering
Divisions:	Faculties > Sciences > School of Engineering and Digital Arts > Image and Information Engineering
Depositing User:	J. Harries
Date Deposited:	11 Jan 2010 10:53 UTC
Last Modified:	28 May 2014 15:53 UTC
Resource URI:	https://kar.kent.ac.uk/id/eprint/23516 (The current URI for this page, for reference purposes)