Ariane Alves Almeida, Carlos H. Llanos, Janier Arias-Garcia, Mauricio Ayala-Rincón. Verification of Hardware Implementations through Correctness of their Recursive Definitions in PVS. In Edward David Moreno Ordonez, Rodolfo Jardim de Azevedo, Peter R. Kinget, editors, Proceedings of the 27th Symposium on Integrated Circuits and Systems Design, Aracaju, Brazil, September 1-5, 2014. pages 14, ACM, 2014. [doi]
Abstract is missing.