公开(公告)号：US08666951B2

公开(公告)日：2014-03-04

申请号：US13354577

申请日：2012-01-20

申请人： Thomas T. Hanis ,  Eoin Lane ,  Fang Lu ,  Azadeh Salehi ,  Alphonse J. Wojtas

发明人： Thomas T. Hanis ,  Eoin Lane ,  Fang Lu ,  Azadeh Salehi ,  Alphonse J. Wojtas

IPC分类号： G06F17/30

CPC分类号： G06Q10/06

摘要： A method, system and program product of managing multiple versions of enterprise meta-models within an enterprise model using semantic based indexing. The steps include: receiving a query; determining from the query a topic and at least two versions of a topic map meta-model of the enterprise meta-models to compare; applying the query to a merged topic map meta-model of the at least two versions of the topic map meta-model by searching a topic map based index of the merged topic map meta-model for the topic, producing a result; and using the result to translate the topic from the query in at least one of the at least two versions of the topic map meta-model to coexist and correspond to the other version of the topic map meta-model, allowing data between the at least two versions topic map meta-model of the enterprise meta-models within the enterprise model to be correlated.

摘要翻译： 一种使用基于语义的索引在企业模型内管理企业元模型的多个版本的方法，系统和程序产品。 步骤包括：接收查询; 从查询确定一个主题和至少两个版本的主题地图元模型的企业元模型进行比较; 通过搜索针对该主题的合并主题图元模型的基于主题图的索引，将查询应用于主题图元数据模型的至少两个版本的合并主题图元数据模型，产生结果; 以及使用所述结果将所述主题在所述主题图元数据模型的所述至少两个版本中的至少一个中从所述查询中翻译出来，以共存并对应于所述主题图元数据模型的其他版本，从而允许所述至少 企业模型中企业元模型的两个版本主题图元素模型要相关。

公开(公告)号：US20130191357A1

公开(公告)日：2013-07-25

申请号：US13354577

申请日：2012-01-20

申请人： Thomas T. Hanis ,  Eoin Lane ,  Fang Lu ,  Azadeh Salehi ,  Alphonse J. Wojtas

发明人： Thomas T. Hanis ,  Eoin Lane ,  Fang Lu ,  Azadeh Salehi ,  Alphonse J. Wojtas

IPC分类号： G06F17/30

CPC分类号： G06Q10/06

摘要： A method, system and program product of managing multiple versions of enterprise meta-models within an enterprise model using semantic based indexing. The steps include: receiving a query; determining from the query a topic and at least two versions of a topic map meta-model of the enterprise meta-models to compare; applying the query to a merged topic map meta-model of the at least two versions of the topic map meta-model by searching a topic map based index of the merged topic map meta-model for the topic, producing a result; and using the result to translate the topic from the query in at least one of the at least two versions of the topic map meta-model to coexist and correspond to the other version of the topic map meta-model, allowing data between the at least two versions topic map meta-model of the enterprise meta-models within the enterprise model to be correlated.

摘要翻译： 一种使用基于语义的索引在企业模型内管理企业元模型的多个版本的方法，系统和程序产品。 步骤包括：接收查询; 从查询确定一个主题和至少两个版本的主题地图元模型的企业元模型进行比较; 通过搜索针对该主题的合并主题图元数据模型的基于主题图的索引，将查询应用于主题图元数据模型的至少两个版本的合并主题图元数据模型，产生结果; 以及使用所述结果将所述主题在所述主题图元数据模型的所述至少两个版本中的至少一个中从所述查询中翻译为共存并对应于所述主题图元数据模型的其他版本，从而允许所述至少 企业模型中企业元模型的两个版本主题图元素模型要相关。

公开(公告)号：US20130315041A1

公开(公告)日：2013-11-28

申请号：US13478349

申请日：2012-05-23

申请人： Shobha Hiremath ,  Shruti Kumar ,  Fang Lu ,  Azadeh Salehi

发明人： Shobha Hiremath ,  Shruti Kumar ,  Fang Lu ,  Azadeh Salehi

IPC分类号： G04B47/00

CPC分类号： G06Q10/10 ,  G06Q10/1093

摘要： Methods and systems of managing calendar alarm notifications may provide for identifying a calendar entry and identifying a working hour range. Additionally, an alarm notification may be scheduled for the calendar entry based on the working hour range. In one example, if it is determined that the calendar entry is scheduled either outside the working hour range or at a beginning of the working hour range, the alarm notification is adapted to occur within the working hour range.

摘要翻译： 管理日历警报通知的方法和系统可以提供识别日历条目并识别工作时间范围。 此外，可以基于工作时间范围为日历条目安排警报通知。 在一个示例中，如果确定日程表条目在工作时间范围之外或在工作时间范围的开头被调度，则报警通知适于在工作时间范围内发生。

公开(公告)号：US07900181B2

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

申请号：US11942148

申请日：2007-11-19

申请人： Amir Hekmatpour ,  Azadeh Salehi

发明人： Amir Hekmatpour ,  Azadeh Salehi

IPC分类号： G06F17/50

CPC分类号： G06F17/5022 ,  G06F17/504

摘要： 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.

公开(公告)号：US07313772B2

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

申请号：US11136256

申请日：2005-05-24

申请人： Amir Hekmatpour ,  Azadeh Salehi

发明人： Amir Hekmatpour ,  Azadeh Salehi

IPC分类号： G06F17/50

CPC分类号： G06F17/5022 ,  G06F17/504

摘要： 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.

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

公开(公告)号：US07865853B2

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

申请号：US11936775

申请日：2007-11-07

申请人： Amir Hekmatpour ,  Azadeh Salehi

发明人： Amir Hekmatpour ,  Azadeh Salehi

IPC分类号： G06F17/50

CPC分类号： G06F17/5022 ,  G06F17/504

摘要： 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.

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

公开(公告)号：US07571184B2

公开(公告)日：2009-08-04

申请号：US11349846

申请日：2006-02-08

申请人： Amir Hekmatpour ,  Azadeh Salehi

发明人： Amir Hekmatpour ,  Azadeh Salehi

IPC分类号： G06F17/00

CPC分类号： G06F17/5045 ,  Y10S707/99943 ,  Y10S707/99945

摘要： Methods for dynamic schema-based silicon IP analysis, qualification, data exchange, and integration are disclosed. Embodiments include determining a new resident schema associated with a function of a silicon IP design system that is different than a previous resident schema associated with a current view. Embodiments further include analyzing components of the new resident schema and parsing the current view and repository or IP database based on the new resident schema to extract pertinent data from the current view and the database and generating a new view by mapping the extracted data to the new resident schema where the new view includes viewable data associated with the function. Further embodiments may include presenting the generated new view to a user or storing the viewable data in a database. The new resident schema may be described in an XML or other appropriate schema language and notations.

摘要翻译： 披露了基于动态模式的硅IP分析，资格认证，数据交换和集成的方法。 实施例包括确定与不同于与当前视图相关联的先前驻留模式的硅IP设计系统的功能相关联的新驻点模式。 实施例还包括分析新驻点模式的组件，并基于新的驻留模式解析当前视图和存储库或IP数据库，以从当前视图和数据库提取相关数据，并通过将提取的数据映射到新的视图 新视图包括与该功能相关联的可视数据的常驻模式。 进一步的实施例可以包括将所生成的新视图呈现给用户或将可视数据存储在数据库中。 可以以XML或其他适当的模式语言和符号来描述新的驻留模式。

公开(公告)号：US20080072196A1

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

申请号：US11942148

申请日：2007-11-19

申请人： Amir Hekmatpour ,  Azadeh Salehi

发明人： Amir Hekmatpour ,  Azadeh Salehi

IPC分类号： G06F17/50

CPC分类号： G06F17/5022 ,  G06F17/504

摘要： 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.

公开(公告)号：US07870381B2

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

申请号：US11350312

申请日：2006-02-08

申请人： Amir Hekmatpour ,  Azadeh Salehi

发明人： Amir Hekmatpour ,  Azadeh Salehi

IPC分类号： H04L9/00 ,  G06F9/00 ,  G06F9/30

CPC分类号： H04L12/4633

摘要： Systems, methods, and media for a schema-based portal for assessment and integration of silicon IPs are disclosed. Embodiments may generally include an IP portal system having a portal interface to receive inputs from users and to provide output to users and a database interface to transmit and receive information to and from a silicon IP database and an IP file system. Embodiments of the system may also include a secure access layer (HTTP tunnel, firewall, or proprietary secure access protocol) to securely communicate information and an internal interface protocol and an external interface protocol and the secure access layer. The internal interface protocol may authorize and encrypt communications to an internal user or design system and the external interface protocol may authorize and encrypt communications to an external user or design system. The portal interface may be a Web-based interface and schema-based in some embodiments.

摘要翻译： 披露了用于评估和集成硅IP的基于模式的门户的系统，方法和媒体。 实施例通常可以包括IP门户系统，其具有用于从用户接收输入并向用户提供输出的门户接口和用于向硅IP数据库和IP文件系统发送和接收信息的数据库接口。 系统的实施例还可以包括安全地传递信息的安全接入层（HTTP隧道，防火墙或专有的安全接入协议）和内部接口协议以及外部接口协议和安全接入层。 内部接口协议可以授权和加密与内部用户或设计系统的通信，并且外部接口协议可以授权和加密与外部用户或设计系统的通信。 在一些实施例中，门户接口可以是基于Web的接口和基于模式的接口。

公开(公告)号：US20080066030A1

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

申请号：US11936775

申请日：2007-11-07

申请人： Amir Hekmatpour ,  Azadeh Salehi

发明人： Amir Hekmatpour ,  Azadeh Salehi

IPC分类号： G06F17/50

CPC分类号： G06F17/5022 ,  G06F17/504

摘要： 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.

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