Balaji Venu, Ashwani Singh. Formal verification methodology considerations for network on chips. In K. Gopalan, Sabu M. Thampi, editors, 2012 International Conference on Advances in Computing, Communications and Informatics, ICACCI '12, Chennai, India, August 3-5, 2012. pages 220-225, ACM, 2012. [doi]
No reviews for this publication, yet.