Verified high-level synthesis

Authors:
Richard Oliver Chapman
Affiliations:
Cornell Univ., Ithaca, NY
Venue:
Verified high-level synthesis
Year:
1994

Citing 0
Cited 2

Resource-constrained loop scheduling in high-level synthesis

Proceedings of the 43rd annual Southeast regional conference - Volume 2
Formal Verification for High-Assurance Behavioral Synthesis

ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis

Quantified Score

Hi-index	0.01

Visualization

Abstract