Reinaldo A. Bergamaschi, Salil Raje. Observable Time Windows: Verifying High-Level Synthesis Results. IEEE Design & Test of Computers, 14(2):40-50, 1997. [doi]
@article{BergamaschiR97, title = {Observable Time Windows: Verifying High-Level Synthesis Results}, author = {Reinaldo A. Bergamaschi and Salil Raje}, year = {1997}, doi = {10.1109/54.587740}, url = {http://doi.ieeecomputersociety.org/10.1109/54.587740}, researchr = {https://researchr.org/publication/BergamaschiR97}, cites = {0}, citedby = {0}, journal = {IEEE Design & Test of Computers}, volume = {14}, number = {2}, pages = {40-50}, }