Chih-Tung Chen, Alice C. Parker. A hybrid numeric/symbolic program for checking functional and timing compatibility of synthesized designs. In Pierre G. Paulin, editor, Proceedings of the 7th International Symposium on High Level Synthesis, HLSS'94, Niagra-on-the-Lake, ON, Canada, May 18-20, 1994. pages 112-117, ACM, 1994. [doi]
Abstract is missing.