Formal Verification of an RCMP Routing Logic (1999)

by M Palanisamy, S Tahar
Venue:In Proceedings of the 11th International Conference on Microelectronics