公开(公告)号：US07900181B2

公开(公告)日：2011-03-01

申请号：US11942148

申请日：2007-11-19

Applicant: Amir Hekmatpour ,  Azadeh Salehi

Inventor： Amir Hekmatpour ,  Azadeh Salehi

IPC: G06F17/50

CPC classification number: G06F17/5022 ,  G06F17/504

Abstract: Systems, methods, and media for block-based assertion generation, qualification and analysis are disclosed. Embodiments may include a method for generating assertions for verifying a design. The embodiment may include generating session preferences, the session preferences including a selection of one or more assertion schemas for use in generating the assertions, where the selected assertion schema each have one or more design attributes. The embodiment may also include parsing the design to determine locations in the design for the assertions based on the design architecture, structure, and hierarchy and generating the assertions based on at least the session preferences, the determined locations for the assertions, and the design attributes associated with the selected assertion schema. Generating the assertions may further include analyzing and modifying existing assertions based on the session preferences and design attributes or qualifying the assertions for consistency and compliance with the session preferences and design attributes.

公开(公告)号：US07007251B2

公开(公告)日：2006-02-28

申请号：US10706228

申请日：2003-11-12

Applicant: Amir Hekmatpour

Inventor： Amir Hekmatpour

IPC: G06F17/50

CPC classification number: G01R31/318364 ,  G01R31/31835 ,  G01R31/318357 ,  G06F17/5022

Abstract: Database mining, analysis and optimization techniques in conjunction with the model-based functional coverage analysis are used to turn raw verification and coverage data into design intelligence (DI) and verification intelligence (VI). The required data and attributes are automatically extracted from verification, simulation and coverage analysis databases. Design finite state machine extraction, design functional event extraction, and automatic coverage model generation and optimization techniques are applied to the design HDL description. Coverage model tuning and optimization directives, as well as test spec tuning and optimization directives are generated based on the analysis and mining of various verification, simulation, and coverage databases. An integrated web-based interface portlet is used for access, analysis and management of the resulting databases, generated reports and verification directives. Dissemination rules are used to automatically generate and distribute analysis reports and verification directives to engineers at wired or wireless interface devices via Internet or Intranet.

Abstract translation: 数据挖掘，分析和优化技术与基于模型的功能覆盖分析结合使用将原始验证和覆盖数据转换为设计智能（DI）和验证智能（VI）。 从验证，模拟和覆盖分析数据库自动提取所需的数据和属性。 设计有限状态机提取，设计功能事件提取和自动覆盖模型生成和优化技术应用于设计HDL描述。 覆盖模型调优和优化指令，以及测试规范调整和优化指令是基于各种验证，仿真和覆盖数据库的分析和挖掘生成的。 集成的基于Web的界面portlet用于访问，分析和管理生成的数据库，生成的报告和验证指令。 传播规则用于通过互联网或内联网自动生成和分发分析报告和验证指令给有线或无线接口设备的工程师。

公开(公告)号：US20080065687A1

公开(公告)日：2008-03-13

申请号：US11938276

申请日：2007-11-10

Applicant: James Coulter ,  Amir Hekmatpour

Inventor： James Coulter ,  Amir Hekmatpour

IPC: G06F17/30

CPC classification number: G06F11/261 ,  G06F11/263 ,  G06F11/3688

Abstract: Methods, systems and media for generating an improved regression suite by applying harvesting models and/or regression algorithms to tests utilized in verification of a system are disclosed. In one embodiment, a regression manager responsive to user input may be coupled to a harvester module, an analysis module, and a management module. In one embodiment, the harvester module is responsive to harvesting models defined in a modeling language, where the harvester module is coupled to a regression suite database. In another embodiment, a regression methodology may be defined from a collection of regression strategies and each regression strategy may be defined from a combination of harvesting models and/or regression algorithms. A regression generator to receive tests, to apply one or more regression strategies to the tests, to provide reports, and to allow user control may also be provided.

Abstract translation: 公开了用于通过将采集模型和/或回归算法应用于系统验证所用的测试来生成改进的回归套件的方法，系统和介质。 在一个实施例中，响应于用户输入的回归管理器可以耦合到收割机模块，分析模块和管理模块。 在一个实施例中，收割机模块响应于以建模语言定义的采集模型，其中收割机模块耦合到回归套件数据库。 在另一个实施例中，可以从回归策略的集合中定义回归方法，并且可以从收获模型和/或回归算法的组合来定义每个回归策略。 还可以提供用于接收测试，应用一个或多个回归策略到测试，提供报告和允许用户控制的回归生成器。

公开(公告)号：US07313772B2

公开(公告)日：2007-12-25

申请号：US11136256

申请日：2005-05-24

Applicant: Amir Hekmatpour ,  Azadeh Salehi

Inventor： Amir Hekmatpour ,  Azadeh Salehi

IPC: G06F17/50

CPC classification number: G06F17/5022 ,  G06F17/504

Abstract: Systems, methods, and media for block-based assertion generation, qualification and analysis are disclosed. Embodiments may include a method for generating assertions for verifying a design. The embodiment may include generating session preferences, the session preferences including a selection of one or more assertion schemas for use in generating the assertions, where the selected assertion schema each have one or more design attributes. The embodiment may also include parsing the design to determine locations in the design for the assertions based on the design architecture, structure, and hierarchy and generating the assertions based on at least the session preferences, the determined locations for the assertions, and the design attributes associated with the selected assertion schema. Generating the assertions may further include analyzing and modifying existing assertions based on the session preferences and design attributes or qualifying the assertions for consistency and compliance with the session preferences and design attributes.

Abstract translation: 公开了用于基于块的断言生成，鉴定和分析的系统，方法和媒体。 实施例可以包括用于产生用于验证设计的断言的方法。 该实施例可以包括生成会话偏好，会话偏好包括用于生成断言的一个或多个断言模式的选择，其中所选择的断言模式各自具有一个或多个设计属性。 该实施例还可以包括解析设计以基于设计架构，结构和层次来确定设计中的断言位置，并基于至少会话偏好，所确定的断言位置和设计属性来生成断言 与所选择的断言模式相关联。 生成断言还可以包括基于会话偏好和设计属性来分析和修改现有的断言，或者为了与会话偏好和设计属性的一致性和一致性来限定断言。

公开(公告)号：US20050278576A1

公开(公告)日：2005-12-15

申请号：US10864628

申请日：2004-06-09

Applicant: Amir Hekmatpour

Inventor： Amir Hekmatpour

IPC: G06F11/00

CPC classification number: G01R31/318314 ,  G06F11/261

Abstract: Methods, systems and media for management of functional verification of a system are disclosed. One embodiment may be directed to methods, systems and media for management of functional verification of a computer system, such as a processor or IC chip. Embodiments may include a verification manager for user input and a functional verification database for centralized storage of functional verification information. Embodiment may also include a coverage analysis environment that receives test information from a simulation and test generation environment, converts it if necessary, and selectively stores information in the functional verification database. In a further embodiment, a harvest module determines whether a test should be saved for future regression testing, and tests that add to functional coverage are added to a regression suite.

Abstract translation: 公开了用于管理系统功能验证的方法，系统和介质。 一个实施例可以涉及用于管理诸如处理器或IC芯片的计算机系统的功能验证的方法，系统和介质。 实施例可以包括用于用户输入的验证管理器和用于功能验证信息的集中存储的功能验证数据库。 实施例还可以包括从仿真和测试生成环境接收测试信息的覆盖分析环境，如果需要则转换它，并且将功能选择性地存储在功能验证数据库中。 在另一个实施例中，收获模块确定是否应该保存测试用于将来的回归测试，并且添加到功能覆盖的测试被添加到回归套件中。

公开(公告)号：US06968346B2

公开(公告)日：2005-11-22

申请号：US09840421

申请日：2001-04-23

Applicant: Amir Hekmatpour

Inventor： Amir Hekmatpour

IPC: G06F17/50 ,  H04L29/06 ,  G06F17/30 ,  F06F7/00 ,  F06F17/00

CPC classification number: G06F17/50 ,  G06F2217/04 ,  G06F2217/16 ,  G06F2217/66 ,  H04L63/083 ,  H04L63/0861 ,  H04L63/10 ,  H04L63/105 ,  H04L69/08 ,  Y10S707/99943 ,  Y10S707/99945

Abstract: A computer-based design framework for collaborative design of a product by distributed design team members. The design framework comprises: a virtual database management system, which receives data from a plurality of distinct sources and creates a single relational database interface to each of the distinct sources; software code associated with the virtual database management system for mapping various informational structures utilized by the distinct sources to a common XML syntax; and additional logic associated with the virtual database management system that provides publishing rules for extracting information on demand and publishing the extracted information in a format recognized by a requestor of the information. When the product is a system on a chip (SOC) a special set of functions are generated that enable platform-independent application and services exchange utilizing XML wrapped data, service, and applications.

Abstract translation: 分布式设计团队成员协调设计产品的基于计算机的设计框架。 该设计框架包括：虚拟数据库管理系统，其从多个不同的源接收数据并且创建到每个不同源的单个关系数据库接口; 与虚拟数据库管理系统相关联的软件代码，用于将不同源所使用的各种信息结构映射到公共XML语法; 以及与虚拟数据库管理系统相关联的附加逻辑，其提供用于根据需要提取信息的发布规则，并以由信息的请求者识别的格式发布提取的信息。 当产品是芯片上的系统（SOC）时，将生成一组特殊的功能，可以使用XML包装的数据，服务和应用程序实现与平台无关的应用程序和服务交换。

公开(公告)号：US5822745A

公开(公告)日：1998-10-13

申请号：US773820

申请日：1996-12-27

Applicant: Amir Hekmatpour

Inventor： Amir Hekmatpour

IPC: G06F3/033 ,  G06F3/048 ,  G06F17/21 ,  G06N5/02 ,  G06N5/04 ,  G09B5/06 ,  G09B7/04 ,  G06F15/18

CPC classification number: G09B5/065 ,  G06F17/211 ,  G06F3/0481 ,  G06N5/02 ,  G06N5/022 ,  G06N5/04 ,  G09B7/04

Abstract: An expert system and processing method employing a three level hierarchical knowledge base that has a plurality of nodes coupled together. An uppermost level comprises a behavioral knowledge level, a middle level comprises a structural knowledge level and a lowermost level is an action level. Inference processing proceeds from the behavioral knowledge level through the structural knowledge level to a leaf node of the action level. One or more non-inferentially assessable utilities may be associated with the inference kernel of the expert system for accessing during inferential processing within the hierarchically structured knowledge base. A knowledge editor implements guidelines that structure received information in the desired hierarchical three level configuration. Further, interactive multimedia/hypermedia systems and methods are presented, which might be expert system based. Training and certification applications of the multimedia/hypermedia system/method are given.

公开(公告)号：US07711992B2

公开(公告)日：2010-05-04

申请号：US12178178

申请日：2008-07-23

Applicant: James J. Coulter ,  Amir Hekmatpour

Inventor： James J. Coulter ,  Amir Hekmatpour

IPC: G06F11/00

CPC classification number: G06F11/261 ,  G06F11/263 ,  G06F11/3688

Abstract: Systems and media for generating an improved regression suite by applying harvesting models and/or regression algorithms to tests utilized in verification of a system are disclosed. In one embodiment, a regression manager responsive to user input may be coupled to a harvester module, an analysis module, and a management module. In one embodiment, the harvester module is responsive to harvesting models defined in a modeling language, where the harvester module is coupled to a regression suite database. In another embodiment, a regression methodology may be defined from a collection of regression strategies and each regression strategy may be defined from a combination of harvesting models and/or regression algorithms. A regression generator to receive tests, to apply one or more regression strategies to the tests, to provide reports, and to allow user control may also be provided.

Abstract translation: 公开了用于通过将采集模型和/或回归算法应用于在系统验证中使用的测试来生成改进的回归套件的系统和介质。 在一个实施例中，响应于用户输入的回归管理器可以耦合到收割机模块，分析模块和管理模块。 在一个实施例中，收割机模块响应于以建模语言定义的采集模型，其中收割机模块耦合到回归套件数据库。 在另一个实施例中，可以从回归策略的集合中定义回归方法，并且可以从收获模型和/或回归算法的组合来定义每个回归策略。 还可以提供用于接收测试，应用一个或多个回归策略到测试，提供报告和允许用户控制的回归生成器。

公开(公告)号：US07320090B2

公开(公告)日：2008-01-15

申请号：US10864119

申请日：2004-06-09

Applicant: James J. Coulter, Jr. ,  Amir Hekmatpour

Inventor： James J. Coulter, Jr. ,  Amir Hekmatpour

IPC: G06F11/00

CPC classification number: G06F11/261 ,  G06F11/263 ,  G06F11/3688

Abstract: Methods, systems and media for generating an improved regression suite by applying harvesting models and/or regression algorithms to tests utilized in verification of a system are disclosed. In one embodiment, a regression manager responsive to user input may be coupled to a harvester module, an analysis module, and a management module. In one embodiment, the harvester module is responsive to harvesting models defined in a modeling language, where the harvester module is coupled to a regression suite database. In another embodiment, a regression methodology may be defined from a collection of regression strategies and each regression strategy may be defined from a combination of harvesting models and/or regression algorithms. A regression generator to receive tests, to apply one or more regression strategies to the tests, to provide reports, and to allow user control may also be provided.

Abstract translation: 公开了用于通过将采集模型和/或回归算法应用于系统验证所用的测试来生成改进的回归套件的方法，系统和介质。 在一个实施例中，响应于用户输入的回归管理器可以耦合到收割机模块，分析模块和管理模块。 在一个实施例中，收割机模块响应于以建模语言定义的采集模型，其中收割机模块耦合到回归套件数据库。 在另一个实施例中，可以从回归策略的集合中定义回归方法，并且可以从收获模型和/或回归算法的组合来定义每个回归策略。 还可以提供用于接收测试，应用一个或多个回归策略到测试，提供报告和允许用户控制的回归生成器。

公开(公告)号：US07278056B2

公开(公告)日：2007-10-02

申请号：US10864628

申请日：2004-06-09

Applicant: Amir Hekmatpour

Inventor： Amir Hekmatpour

IPC: G06F11/00

CPC classification number: G01R31/318314 ,  G06F11/261

Abstract: Methods, systems and media for management of functional verification of a system are disclosed. One embodiment may be directed to methods, systems and media for management of functional verification of a computer system, such as a processor or IC chip. Embodiments may include a verification manager for user input and a functional verification database for centralized storage of functional verification information. Embodiment may also include a coverage analysis environment that receives test information from a simulation and test generation environment, converts it if necessary, and selectively stores information in the functional verification database. In a further embodiment, a harvest module determines whether a test should be saved for future regression testing, and tests that add to functional coverage are added to a regression suite.

Abstract translation: 公开了用于管理系统功能验证的方法，系统和介质。 一个实施例可以涉及用于管理诸如处理器或IC芯片的计算机系统的功能验证的方法，系统和介质。 实施例可以包括用于用户输入的验证管理器和用于功能验证信息的集中存储的功能验证数据库。 实施例还可以包括从仿真和测试生成环境接收测试信息的覆盖分析环境，如果需要则转换它，并且将功能选择性地存储在功能验证数据库中。 在另一个实施例中，收获模块确定是否应该保存测试用于将来的回归测试，并且添加到功能覆盖的测试被添加到回归套件中。