RTL Assertion Mining with Automated RTL-to-TLM Abstraction | IEEE Conference Publication | IEEE Xplore
  翻译: