专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US06868545B1 Method for re-using system-on-chip verification software in an operating system 失效
标题翻译：在操作系统中重新使用片上系统验证软件的方法
公开(公告)号：US06868545B1
公开(公告)日：2005-03-15
申请号：US09495236
申请日：2000-01-31
申请人： Robert J. Devins , Paul G. Ferro , Robert D. Herzl , Kenneth A. Mahler
发明人： Robert J. Devins , Paul G. Ferro , Robert D. Herzl , Kenneth A. Mahler
IPC分类号： G06F3/00 , G06F17/50
CPC分类号： G06F17/5045 , G06F2217/86
摘要： The time, effort and expense required to develop verification software for testing and de-bugging system-on-chip (SOC) designs represents a considerable investment. According to the method of the present invention, a portion of such verification software may be re-used in an operating system (OS) (i.e., a system used for, e.g., general business, technical or scientific applications as opposed to software testing) to capitalize on the investment.The verification software includes low-level device drivers (LLDDs) which were coded for and paired with specific device designs (“cores”) throughout the verification process, and were consequently also verified (i.e., de-bugged) in the process. Thus, the low-level device drivers represent reliable software with detailed knowledge of the corresponding devices.By developing a thin middle-level device driver layer of software to interface between a particular OS and the lower-level device drivers, the LLDDs can be re-used in an OS that uses devices that the LLDDs were designed for. This frees SOC customers from having to develop low-level software and instead allows them to concentrate on developing their particular applications, or “value-added” software.
摘要翻译：开发用于测试和解除系统级芯片（SOC）设计的验证软件所需的时间，精力和费用代表了相当大的投资。根据本发明的方法，这种验证软件的一部分可以在操作系统（OS）（即，用于例如一般业务，技术或科学应用而不是软件测试的系统）中被重新使用，验证软件包括在整个验证过程中编码并与特定设备设计（“核心”）配对的低级设备驱动程序（LLDD），并因此也被验证（即删除）正在进行中。因此，低级设备驱动程序表示可靠的软件，具有相应设备的详细知识。通过开发薄型的中间级设备驱动程序软件层，可以在特定的操作系统和下级设备驱动程序之间进行接口，LLDD可以重新 - 在使用LLDD设计的设备的操作系统中使用。这样可以让SOC客户不必开发低级软件，而是让他们专注于开发其特定应用程序或“增值”软件。

2. 发明授权

US06615167B1 Processor-independent system-on-chip verification for embedded processor systems 有权
标题翻译：针对嵌入式处理器系统的处理器独立系统级芯片验证
公开(公告)号：US06615167B1
公开(公告)日：2003-09-02
申请号：US09494386
申请日：2000-01-31
申请人： Robert J. Devins , Paul G. Ferro , Robert D. Herzl
发明人： Robert J. Devins , Paul G. Ferro , Robert D. Herzl
IPC分类号： G06F9455
CPC分类号： G06F17/5022 , G06F11/261
摘要： A method for efficiently changing the embedded processor type in verification of system-on-chip (SOC) integrated circuit designs containing embedded processors. The verification software is used to generate and apply test cases to stimulate components of a SOC design (“cores”) in simulation; the results are observed and used to de-bug the design. Typically, the embedded processor type changes as SOC designs change. However, changing the processor type may cause errors in verification due to the presence of processor-specific code distributed throughout the verification software. Thus, changing the processor type can entail a substantial re-write of the verification software. In the method according to the present invention, in verification software for verifying a SOC design including an embedded processor, processor-specific code is localized in a processor driver. Consequently, when there is a need to change the processor type, only the processor driver needs to be changed or replaced, while the rest of verification code requires no changes. Verification is consequently more efficient.
摘要翻译：一种用于有效改变嵌入式处理器类型以验证包含嵌入式处理器的片上系统（SOC）集成电路设计的方法。验证软件用于生成和应用测试用例，以刺激模拟中SOC设计（“核心”）的组件; 观察结果并用于对设计进行缺陷。通常，随着SOC设计的变化，嵌入式处理器类型发生变化。但是，由于存在分布在整个验证软件中的特定于处理器的代码，所以更改处理器类型可能会导致验证错误。因此，改变处理器类型可能导致验证软件的大量重写。在根据本发明的方法中，在用于验证包括嵌入式处理器的SOC设计的验证软件中，处理器专用代码被定位在处理器驱动器。因此，当需要更改处理器类型时，只需要更改或更换处理器驱动程序，而其余的验证码不需要更改。因此验证效率更高。

3. 发明授权

US06539522B1 Method of developing re-usable software for efficient verification of system-on-chip integrated circuit designs 失效
标题翻译：开发可重用软件的方法，用于片上系统集成电路设计的有效验证
公开(公告)号：US06539522B1
公开(公告)日：2003-03-25
申请号：US09494907
申请日：2000-01-31
申请人： Robert J. Devins , Paul G. Ferro , Robert D. Herzl , Mark E. Kautzman , Kenneth A. Mahler , David W. Milton
发明人： Robert J. Devins , Paul G. Ferro , Robert D. Herzl , Mark E. Kautzman , Kenneth A. Mahler , David W. Milton
IPC分类号： G06F1750
CPC分类号： G01R31/318357 , G06F17/5022
摘要： A method for developing re-usable software for the efficient verification of system-on-chip (SOC) integrated circuit designs. The verification software is used to generate and apply test cases to stimulate components of a SOC design (“cores”) in simulation; the results are observed and used to de-bug the design. The software is hierarchical, implementing a partition between upper-level test application code which generates test cases and verifies results, and low-level device driver code which interfaces with a core being simulated, to apply the test case generated by the upper-level code on a hardware level of operations. Test application and supporting low-level device driver pairs are used and re-used to test their corresponding component cores throughout the SOC development process, by creating higher-level test control programs which control selected combinations of the already-developed test application and device driver programs to test combinations of SOC components. The method provides for the efficient verification of SOC designs and, consequently, a reduced time-to-market for SOC products, because as the verification software is developed and stored, it becomes possible to test increasingly complex core combinations by creating relatively few high-level test programs which re-use already-existing lower-level software. Ultimately, the task of verifying a complex SOC design may be simplified to developing a single chip-specific test program which selects from already-existing test application, device driver and test control programs to perform a realistic test of a chip-specific combination of cores.
摘要翻译：一种用于开发用于片上系统（SOC）集成电路设计的有效验证的可重用软件的方法。验证软件用于生成和应用测试用例，以刺激模拟中SOC设计（“核心”）的组件; 观察结果并用于对设计进行设计。该软件是分级的，实现生成测试用例的上级测试应用程序代码和验证结果之间的分区，以及与正在模拟的内核接口的低级设备驱动程序代码，以应用由上级代码生成的测试用例在硬件层面的操作。测试应用程序和支持低级设备驱动程序对被使用并重新用于在SOC开发过程中测试其相应的组件核心，通过创建更高级别的测试控制程序来控制已经开发的测试应用程序和设备驱动程序的选定组合测试SOC组件组合的程序。该方法提供SOC设计的有效验证，从而缩短了SOC产品的上市时间，因为随着验证软件的开发和存储，可以通过创建相对较少的高可用性测试来测试日益复杂的核心组合，重新使用已经存在的低级软件的级别测试程序。最终，可以简化验证复杂SOC设计的任务，以开发单个芯片特定的测试程序，该测试程序从已经存在的测试应用程序，设备驱动程序和测试控制程序中进行选择，以执行芯片特定的内核组合的现实测试。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式