亚洲知识产权资讯网为知识产权业界提供一个一站式网上交易平台，协助业界发掘知识产权贸易商机，并与环球知识产权业界建立联系。无论你是知识产权拥有者正在出售您的知识产权，或是制造商需要购买技术以提高操作效能，又或是知识产权配套服务供应商，你将会从本网站发掘到有用的知识产权贸易资讯。
返回搜索结果

Assertion Generation Suite

详细技术说明
University of Illinois researchers have developed a suite of assertiongeneration tools.
*Abstract

University of Illinois researchers have developed this suite of assertiongeneration tools which includes: 

  1. A Figure of Merit Evaluation: a method to evaluate and rank assertions used in hardware design validation based on readability and importance.
  2. Code Coverage Evaluations of Hardware Assertions: a method to estimate the code covered by an assertion used in hardware design validation.
  3. Word Level Assertion Generation: a method to generate assertions used in hardware design at the word level rather than at the bit level. This is likely to make the asertions more usable and easier to read.

For more information about this technology, please contact the University of Illinois at Urbana-Champaign Office of Technology Management at otm@illinois.edu.
国家/地区
美国

欲了解更多信息，请点击 这里
移动设备