Alfredo Benso Stefano Di Carlo Paolo Prinetto Yervant Zorian IEEE Standard 1500 Compliance Verification for Embedded Cores. 397-407 2008 16 IEEE Trans. VLSI Syst. 4 http://dx.doi.org/10.1109/TVLSI.2008.917412 db/journals/tvlsi/tvlsi16.html#BensoCPZ08