Please use this identifier to cite or link to this item: http://hdl.handle.net/11717/4385
Title: Observable time windows: Verifying high-level synthesis results
Authors: Bergamaschi, R.A.
Raje, S.
Keywords: Algorithms
Computational linguistics
Computer simulation
High level languages
Systems analysis
Vectors
High level synthesis
Implementation state
Observable time windows
Specification state
Computer hardware description languages
Issue Date: 1997
Citation: IEEE Design and Test of Computers, 14(2), 40-50
Abstract: Verifying equivalence of the behavioral specification and scheduled implementation 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 the same vectors.
URI: http://dx.doi.org/10.1109/54.587740
http://hdl.handle.net/11717/4385
ISSN: 7407475
Appears in Collections:Articles

Files in This Item:
There are no files associated with this item.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.