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.

Equivalence checking of hierarchical combinational circuits

Poul Frederick Williams, Henrik Hulgaard, Henrik Reif Andersen. Equivalence checking of hierarchical combinational circuits. In 6th IEEE International Conference on Electronics, Circuits and Systems, ICECS 1999, Pafos, Cyprus, September 5-8, 1999. pages 355-360, IEEE, 1999. [doi]

Bibliographies

    runs on