Masahiro Fujita. Equivalence checking between behavioral and RTL descriptions with virtual controllers and datapaths. ACM Trans. Design Autom. Electr. Syst., 10(4):610-626, 2005. [doi]
@article{Fujita05, title = {Equivalence checking between behavioral and RTL descriptions with virtual controllers and datapaths}, author = {Masahiro Fujita}, year = {2005}, doi = {10.1145/1109118.1109121}, url = {http://doi.acm.org/10.1145/1109118.1109121}, researchr = {https://researchr.org/publication/Fujita05}, cites = {0}, citedby = {0}, journal = {ACM Trans. Design Autom. Electr. Syst.}, volume = {10}, number = {4}, pages = {610-626}, }