Abstraction techniques to improve scalability of equivalence verification for NCL circuits Academic Article uri icon

published proceedings

  • Electronics Letters

author list (cited authors)

  • Wijayasekara, V. M., Rollie, A. T., Hodges, R. G., Srinivasan, S. K., & Smith, S. C.

citation count

  • 2

complete list of authors

  • Wijayasekara, VM||Rollie, AT||Hodges, RG||Srinivasan, SK||Smith, SC

publication date

  • January 2016