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.

Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface

Bo-Yuan Huang 0001, Steven Lyubomirsky, Yi Li, Mike He, Gus Henry Smith, Thierry Tambe, Akash Gaonkar, Vishal Canumalla, Andrew Cheung, Gu-Yeon Wei, Aarti Gupta, Zachary Tatlock, Sharad Malik. Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface. ACM Trans. Design Autom. Electr. Syst., 29(2), March 2024. [doi]

Authors

Bo-Yuan Huang 0001

This author has not been identified. Look up 'Bo-Yuan Huang 0001' in Google

Steven Lyubomirsky

This author has not been identified. Look up 'Steven Lyubomirsky' in Google

Yi Li

This author has not been identified. Look up 'Yi Li' in Google

Mike He

This author has not been identified. Look up 'Mike He' in Google

Gus Henry Smith

This author has not been identified. Look up 'Gus Henry Smith' in Google

Thierry Tambe

This author has not been identified. Look up 'Thierry Tambe' in Google

Akash Gaonkar

This author has not been identified. Look up 'Akash Gaonkar' in Google

Vishal Canumalla

This author has not been identified. Look up 'Vishal Canumalla' in Google

Andrew Cheung

This author has not been identified. Look up 'Andrew Cheung' in Google

Gu-Yeon Wei

This author has not been identified. Look up 'Gu-Yeon Wei' in Google

Aarti Gupta

This author has not been identified. Look up 'Aarti Gupta' in Google

Zachary Tatlock

This author has not been identified. Look up 'Zachary Tatlock' in Google

Sharad Malik

This author has not been identified. Look up 'Sharad Malik' in Google
runs on