-
1.发明申请Model Based Verification Using Forward and Reverse Traversal of Variable Time Line 审中-公开基于模型的验证使用可变时间线的正向和反向遍历公开(公告)号：US20120192158A1
公开(公告)日：2012-07-26
申请号：US13302546
申请日：2011-11-22
IPC分类号： G06F9/44
CPC分类号： G06F11/3684
摘要： A technique for debugging of a program model (or the debugging and reconciliation of two independent software model instantiations) with the perception of immediate showing of values assumed by all variables at any selected time, by permitting a user to move a selected test point in a forward and reverse direction along a time line, without recalculating the model each time the test point is moved. This is achieved by running the program model once and then saving all the variable values in memory, the values associated with the explicit name of the pertaining variable.
摘要翻译： 一种用于调试程序模型（或两个独立软件模型实例的调试和协调）的技术，通过允许用户将选定的测试点移动到所选择的测试点，立即显示在任何选定时间由所有变量假设的值的感知 沿着时间线的正向和反向，每次移动测试点时不重新计算模型。 这是通过运行程序模型一次，然后将所有变量值保存在内存中，与相关变量的显式名称关联的值来实现的。
-
公开(公告)号：US20120192013A1
公开(公告)日：2012-07-26
申请号：US13302537
申请日：2011-11-22
IPC分类号： G06F11/36
CPC分类号： G06F11/3684
摘要： A technique for debugging of a signal processing program or model (or the debugging and reconciliation of two independent software instantiations). Timelines (Vectors) of signal values for verification are condensed to a small amount of information, easy to understand and manage. The information is stored in “Intelligent Points”, which can be graphically specified by the test engineering. The Intelligent Points can include one or more attributes that describe how to generate the appropriate signals. The information so stored can then be automatically expanded to complete timelines.
摘要翻译： 用于调试信号处理程序或模型的技术（或两个独立软件实例的调试和协调）。 用于验证的信号值的时间线（向量）会缩小到少量信息，易于理解和管理。 信息存储在“智能点”中，可以由测试工程图形化指定。 智能点可以包括描述如何生成适当信号的一个或多个属性。 然后，如此存储的信息可以自动扩展到完成时间表。
-
公开(公告)号：US20120191443A1
公开(公告)日：2012-07-26
申请号：US13302632
申请日：2011-11-22
IPC分类号： G06F9/45
CPC分类号： G06F11/3684
摘要： Verifying operation of a device, where the device may have one or more inputs and one or more outputs, with at least one input and/or output associated with an intelligent connector. The intelligent connector is a data structure that contains the name of a variable transported by that connector, an address of the variable itself as a value in memory, and further information of the device producing the variable, at least in the form of address or pointer to the device data structure and the addresses of all other devices consuming that variable.
摘要翻译： 验证设备的操作，其中设备可以具有一个或多个输入和一个或多个输出，具有与智能连接器相关联的至少一个输入和/或输出。 智能连接器是一种数据结构，包含由该连接器传输的变量的名称，变量本身的地址作为存储器中的值，以及至少以地址或指针的形式产生变量的设备的进一步信息 到设备数据结构和消耗该变量的所有其他设备的地址。
-
公开(公告)号：US09020796B2
公开(公告)日：2015-04-28
申请号：US13302632
申请日：2011-11-22
CPC分类号： G06F11/3684
摘要： The described embodiments concern verifying operation of a device, where the device may have one or more inputs and/or one or more outputs. At least one input and/or output is associated with an intelligent connector. An intelligent connector is a combination of a signal transport path and a data structure. The signal transport path may be electrical conductors leading to the device or a physical connector associated with the device. The data structure contains the name of a variable transported by the associated physical connector, an address of the variable itself as a value in memory, and further information of a source device that produces the variable, at least in the form of address or pointer to the source device data structure and the addresses of all destination devices that consume the variable.
摘要翻译： 所描述的实施例涉及验证设备的操作，其中设备可以具有一个或多个输入和/或一个或多个输出。 至少一个输入和/或输出与智能连接器相关联。 智能连接器是信号传输路径和数据结构的组合。 信号传输路径可以是通向设备的电导体或与设备相关联的物理连接器。 数据结构包含由相关的物理连接器传输的变量的名称，变量本身的地址作为存储器中的值，以及产生变量的源设备的进一步信息，至少以地址或指针的形式 源设备数据结构和消耗变量的所有目标设备的地址。
-
-
-
搜索结果
4 条记录 (耗时 0.015 秒)
