Abstraction techniques to improve scalability of equivalence verification for NCL circuits

Overview
Identity
Additional Document Info
Other
View All

authors

Smith, Scott

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

publisher

Institution of Engineering and Technology (IET) Publisher

published in

Electronics Letters Journal