@article{benso_carlo_prinetto_zorian_2008, 
  title={IEEE Standard 1500 Compliance Verification for Embedded Cores}, 
  volume={16}, 
  DOI={10.1109/tvlsi.2008.917412}, 
  publisher={Institute of Electrical and Electronics Engineers (IEEE)}, 
  author={Benso and Carlo and Prinetto and Zorian}, 
  year={2008}
  }