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
Official URL: http://dx.doi.org/10.1145/1228784.1228885
Actions (Repository Editors)
Item Control Page |