Thomas, D. E., R. L. Blackburn, and J. V. Rajan: 1987, `Linking the Behavioral and Structural Domains of Representation for Digital System Design'. IEEE Transactions on Computer Aided Design. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Automated Correctness Condition Generation for Formal.. - Mansouri, Vemuri (1999) (Correct)
....to the final assignment of behavioral operators, variables and data control dependencies to rtl alus, registers and interconnect units. By maintaining links with the elements of the behavior specification throughout the high level synthesis process (as discussed, for example, by Thomas et al. [49]) the high level synthesis tool can generate detailed binding information. Exploiting this information for verification purposes is the unique aspect of our verification technique. Outline of the Method: The discussions on the scheduling process suggest that the following states in the behavior ....
....registers and between the behavioral critical states and the rtl critical states can be identified. We can count on the high level synthesis tool to produce such correspondences in the form of auxiliary information as a byproduct of the synthesis process. Many authors, for example Thomas et al. [49], have described detailed methods to maintain the binding information during the synthesis process. We exercise our verification practice in conjunction with a synthesis tool that generates this auxiliary information. However, it can be used to verify the designs generated by any hls system that ....
Thomas, D. E., R. L. Blackburn, and J. V. Rajan: 1987, `Linking the Behavioral and Structural Domains of Representation for Digital System Design'. IEEE Transactions on Computer Aided Design.
Accounting for Various Register Allocation Schemes During.. - Mansouri, Vemuri (Correct)
....synthesis tool. By maintaining links with the elements of the behavior specification throughout the synthesis process, the high level synthesis tool can generate detailed binding information, in the form of auxiliary information as a byproduct of the synthesis process. Many authors, Thomas et al. [15] for example, have described detailed methods to maintain the binding information during the synthesis process. In particular, we assume that the high level synthesis tool can generate the mapping between critical variables in the specification and registers in the RTL data path and the mapping ....
D. E. Thomas, R. L. Blackburn, and J. V. Rajan, "Linking the Behavioral and Structural Domains of Representation for Digital System Design", IEEE Trans. CAD, vol. CAD6, pp. 103-110, January 1987.
Integrating Operational Specification and Performance Modeling.. - Sarkar (1995) (Correct)
No context found.
BLA85 Blackburn, R. L. and Thomas, D. E. Linking the Behavioral and Structural Domains of Representation in a Synthesis System. DAC 85:374-380. BOE88 Boehm, B. A spiral model of software development and enhancement. IEEE Computer:61-72 May 1988.
Reducing Sychronization in Concurrent Behavioral Descriptions - Touba (1992) (Correct)
No context found.
Thomas, D.E., R.L. Blackburn, J.V. Rajan, "Linking the Behavioral and Structural Domains of Representation for Digital Systems Design," IEEE Transactions on Computer-Aided Design, Vol. 5, No. 1, Jan. 1987, pp. 103-110.
Design Views For Synthesis - Providing Both Uniform Data.. - Rundensteiner (Correct)
No context found.
Blackburn, R. L., Thomas, D. E., and Koenig, P.M., Linking the Behavioral and Structural Domains of Representation for Digital System Design, IEEE Trans. on CAD, vol. CAD-6, No. 1, Jan. 1987.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC