OBSERVABLE TIME WINDOWS - VERIFYING HIGH-LEVEL SYNTHESIS RESULTS

Authors
BERGAMASCHI RA RAJE S
Citation
Ra. Bergamaschi et S. Raje, OBSERVABLE TIME WINDOWS - VERIFYING HIGH-LEVEL SYNTHESIS RESULTS, IEEE design & test of computers, 14(2), 1997, pp. 40-50
Citations number
5
Categorie Soggetti
Computer Sciences","Computer Science Hardware & Architecture
Journal title
IEEE design & test of computers → ACNP
ISSN journal
07407475
Volume
14
Issue
2
Year of publication
1997
Pages
40 - 50
Database
ISI
SICI code
0740-7475(1997)14:2<40:OTW-VH>2.0.ZU;2-0
Abstract
Verifying equivalence of the behavioral specification and scheduled im plementation is a significant problem in high-level synthesis, because scheduling changes the cycle-by-cycle behavior. The authors present a practical method for comparing simulation results for the two using t he same vectors.