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.

SPEAR: Hardware-based Implicit Rewriting for Square-root Circuit Verification

Atif Yasin, Tiankai Su, Sébastien Pillement, Maciej J. Ciesielski. SPEAR: Hardware-based Implicit Rewriting for Square-root Circuit Verification. In 2020 Design, Automation & Test in Europe Conference & Exhibition, DATE 2020, Grenoble, France, March 9-13, 2020. pages 532-537, IEEE, 2020. [doi]

Authors

Atif Yasin

This author has not been identified. Look up 'Atif Yasin' in Google

Tiankai Su

This author has not been identified. Look up 'Tiankai Su' in Google

Sébastien Pillement

This author has not been identified. Look up 'Sébastien Pillement' in Google

Maciej J. Ciesielski

This author has not been identified. Look up 'Maciej J. Ciesielski' in Google
runs on