Karfa, Chandan, Sarkar, Dipankar, Mandal, Chittaranjan and Reade, Chris (2007) Hand-in-hand verification of high-level synthesis. In: 17th Great Lakes Symposium on VLSI; 11-13 Mar 2007, Stresa-Lago Maggiore, Italy. ISBN 9781595936059
Full text not available from this archive.
Official URL: http://dx.doi.org/10.1145/1228784.1228885
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Event Title: | 17th Great Lakes Symposium on VLSI |
| Uncontrolled Keywords: | Formal methods |
| Research Area: | Computer science and informatics |
| Faculty, School or Research Centre: | Faculty of Business and Law Faculty of Business and Law > Kingston Business School (Informatics and Operations Management) |
| Depositing User: | Robert Elves |
| Date Deposited: | 23 Sep 2008 |
| Last Modified: | 05 Mar 2013 10:15 |
| URI: | http://eprints.kingston.ac.uk/id/eprint/2037 |
Actions (Repository Editors)
 |
Item Control Page |