Formal verification of high-level synthesis with global code motions

Description

Thesis (PH.D.) -- Syracuse University, 2007. / "Publication number AAT 3281725"

Links & Downloads

1. https://login.libezproxy2.syr.edu/login?qurl=http://proquest.umi.com/pqdweb?did=1441204361&sid=1&Fmt=2&clientId=3739&RQT=309&VName=PQD

Tags

Electrical engineering Computer science.

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/221692340
Date	January 2007
Creators	Kim, Youngsik
Source Sets	OCLC
Language	English
Detected Language	English
Source	Related electronic resource: