Alfredo Benso, Stefano Di Carlo, Paolo Prinetto, Alberto Bosio. Automating the IEEE std.1500 compliance verification for embedded cores. In IEEE International High Level Design Validation and Test Workshop, HLDVT 2007, Irvine, CA, USA, November 7-9, 2007. pages 171-178, IEEE Computer Society, 2007. [doi]
Abstract is missing.