会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明授权
    • Method and apparatus for supporting verification, and computer product
    • 支持验证的方法和装置,以及计算机产品
    • US07676777B2
    • 2010-03-09
    • US11727623
    • 2007-03-27
    • Satoshi KowatariYoshiro NakamuraTakako Shindo
    • Satoshi KowatariYoshiro NakamuraTakako Shindo
    • G06F17/50G06F19/00
    • G06F17/5081G06F17/504
    • A verification support apparatus receives description data. Upon receiving the description data, the apparatus automatically generates and outputs a verification property, a verification scenario, specification data, review information, etc. In addition, the apparatus checks the description data for any element of deficiency or inconsistency before the automatic generation of the verification property. Therefore, the amount of description data can be reduced by sorting out the types of verification items and listing parameters, and various verification properties can be automatically generated by allowing a computer to read verification data. Furthermore, a design TAT can be reduced by generating the specification data. Furthermore, even a designer not familiar with a verification language such as PSL can easily execute assertion-based verification.
    • 验证支持设备接收描述数据。 在接收到描述数据后,设备自动生成并输出验证属性,验证场景,规格数据,审查信息等。此外,该设备在自动生成之前检查描述数据中的任何不足或不一致的元素 验证属性。 因此,可以通过分类验证项目和列出参数来减少描述数据量,并且可以通过允许计算机读取验证数据来自动生成各种验证属性。 此外,可以通过生成规格数据来减少设计TAT。 此外,即使不熟悉验证语言(如PSL)的设计师也可以轻松地执行基于断言的验证。
    • 8. 发明申请
    • Method and apparatus for supporting verification, and computer product
    • 支持验证的方法和装置,以及计算机产品
    • US20070234249A1
    • 2007-10-04
    • US11727623
    • 2007-03-27
    • Satoshi KowatariYoshiro NakamuraTakako Shindo
    • Satoshi KowatariYoshiro NakamuraTakako Shindo
    • G06F17/50
    • G06F17/5081G06F17/504
    • A verification support apparatus receives description data. Upon receiving the description data, the apparatus automatically generates and outputs a verification property, a verification scenario, specification data, review information, etc. In addition, the apparatus checks the description data for any element of deficiency or inconsistency before the automatic generation of the verification property. Therefore, the amount of description data can be reduced by sorting out the types of verification items and listing parameters, and various verification properties can be automatically generated by allowing a computer to read verification data. Furthermore, a design TAT can be reduced by generating the specification data. Furthermore, even a designer not familiar with a verification language such as PSL can easily execute assertion-based verification.
    • 验证支持设备接收描述数据。 在接收到描述数据之后,该装置自动生成并输出验证属性,验证场景,规格数据,查看信息等。此外,该设备在自动生成之前检查描述数据中的任何不足或不一致的元素 验证属性。 因此,可以通过分类验证项目和列出参数来减少描述数据量,并且可以通过允许计算机读取验证数据来自动生成各种验证属性。 此外,可以通过生成规格数据来减少设计TAT。 此外,即使不熟悉验证语言(如PSL)的设计师也可以轻松地执行基于断言的验证。