External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

JIT trace-based verification for high-level synthesis

Liwei Yang, Magzhan Ikram, Swathi Gurumani, Suhaib Fahmy, Deming Chen, Kyle Rupnow. JIT trace-based verification for high-level synthesis. In 2015 International Conference on Field Programmable Technology, FPT 2015, Queenstown, New Zealand, December 7-9, 2015. pages 228-231, IEEE, 2015. [doi]

Authors

Liwei Yang

This author has not been identified. Look up 'Liwei Yang' in Google

Magzhan Ikram

This author has not been identified. Look up 'Magzhan Ikram' in Google

Swathi Gurumani

This author has not been identified. Look up 'Swathi Gurumani' in Google

Suhaib Fahmy

This author has not been identified. Look up 'Suhaib Fahmy' in Google

Deming Chen

This author has not been identified. Look up 'Deming Chen' in Google

Kyle Rupnow

This author has not been identified. Look up 'Kyle Rupnow' in Google
runs on