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.

Logical equivalence checking of asynchronous circuits using commercial tools

Arash Saifhashemi, Hsin-Ho Huang, Priyanka Bhalerao, Peter A. Beerel. Logical equivalence checking of asynchronous circuits using commercial tools. In Wolfgang Nebel, David Atienza, editors, Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015. pages 1563-1566, ACM, 2015. [doi]

Authors

Arash Saifhashemi

This author has not been identified. Look up 'Arash Saifhashemi' in Google

Hsin-Ho Huang

This author has not been identified. Look up 'Hsin-Ho Huang' in Google

Priyanka Bhalerao

This author has not been identified. Look up 'Priyanka Bhalerao' in Google

Peter A. Beerel

This author has not been identified. Look up 'Peter A. Beerel' in Google
runs on