公开(公告)号：US07389215B2

公开(公告)日：2008-06-17

申请号：US11101333

申请日：2005-04-07

申请人： Yehezkel Azatchi ,  Eitan Marcus ,  Shmuel Ur ,  Avi Ziv ,  Keren Zohar

发明人： Yehezkel Azatchi ,  Eitan Marcus ,  Shmuel Ur ,  Avi Ziv ,  Keren Zohar

IPC分类号： G06F17/50

CPC分类号： G06F17/5009 ,  G06F11/3676

摘要： A method for presentation of functional coverage includes representing a set of attributes of a design under test as a multi-dimensional cross-product space, which includes events corresponding to combinations of values of the attributes to be tested, the events including legal and illegal events. At least one test is run on the design, and responsively to the at least one test, a first group of the legal events that were covered by the at least one test and a second group of the legal events that remain non-covered after the at least one test are identified. One or more of the illegal events are grouped with at least one of the first and second groups so as to present a simplified model of the coverage of the events in the cross-product space.

摘要翻译： 用于呈现功能覆盖的方法包括将被测设计的一组属性表示为多维交叉产品空间，其包括对应于待测试属性的值的组合的事件，包括合法和非法事件的事件 。 对设计进行至少一次测试，并且响应于至少一次测试，由至少一次测试涵盖的第一组法律事件和第二组法律事件在第 确定至少一个测试。 一个或多个非法事件与第一和第二组中的至少一个分组，以呈现跨产品空间中的事件的覆盖的简化模型。

公开(公告)号：US08121827B2

公开(公告)日：2012-02-21

申请号：US12061662

申请日：2008-04-03

申请人： Yehezkel Azatchi ,  Eitan Marcus ,  Shmuel Ur ,  Avi Ziv ,  Keren Zohar

发明人： Yehezkel Azatchi ,  Eitan Marcus ,  Shmuel Ur ,  Avi Ziv ,  Keren Zohar

IPC分类号： G06F17/50

CPC分类号： G06F17/5009 ,  G06F11/3676

摘要： Apparatus for presentation of functional coverage, including one or more processors and a memory, wherein the memory stores software instructions including instructions for representing a set of attributes of a design under test as a multi-dimensional cross-product space, comprising events corresponding to combinations of values of the attributes to be tested, the events comprising legal and illegal events, instructions for running at least one test on the design, instructions for identifying, responsively to the at least one test, a first group of the legal events that were covered by the at least one test and a second group of the legal events that remain non-covered after the at least one test, instructions for grouping one or more of the illegal events with at least one of the first and second groups so as to generate a simplified model of the functional coverage of the events in the cross-product space and instructions for presenting the simplified model of the functional coverage on an output device. The apparatus further includes an output device coupled to the coverage processor to present the simplified model of the functional coverage to a user.

摘要翻译： 用于呈现功能覆盖的装置，包括一个或多个处理器和存储器，其中所述存储器存储软件指令，其包括用于将被测设计的一组属性表示为多维交叉产品空间的指令，所述指令包括与组合相对应的事件 要测试的属性的值，包括合法和非法事件的事件，用于对设计进行至少一次测试的指令，响应于至少一个测试的用于识别被覆盖的法律事件的第一组的指令 通过所述至少一个测试和在所述至少一个测试之后未被覆盖的所述法律事件的第二组，用于将所述非法事件中的一个或多个与所述第一和第二组中的至少一个分组的指令，以便生成 交叉产品空间中的事件的功能覆盖的简化模型以及用于呈现功能覆盖的简化模型的指令 在输出设备上。 该装置还包括耦合到覆盖处理器以向用户呈现功能覆盖的简化模型的输出设备。

公开(公告)号：US20090254332A1

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

申请号：US12061662

申请日：2008-04-03

申请人： Yehezkel Azatchi ,  Eitan Marcus ,  Shmuel Ur ,  Avi Ziv ,  Keren Zohar

发明人： Yehezkel Azatchi ,  Eitan Marcus ,  Shmuel Ur ,  Avi Ziv ,  Keren Zohar

IPC分类号： G06G7/62

CPC分类号： G06F17/5009 ,  G06F11/3676

摘要： Apparatus for presentation of functional coverage, including one or more processors and a memory, wherein the memory stores software instructions including instructions for representing a set of attributes of a design under test as a multi-dimensional cross-product space, comprising events corresponding to combinations of values of the attributes to be tested, the events comprising legal and illegal events, instructions for running at least one test on the design, instructions for identifying, responsively to the at least one test, a first group of the legal events that were covered by the at least one test and a second group of the legal events that remain non-covered after the at least one test, instructions for grouping one or more of the illegal events with at least one of the first and second groups so as to generate a simplified model of the functional coverage of the events in the cross-product space and instructions for presenting the simplified model of the functional coverage on an output device. The apparatus further includes an output device coupled to the coverage processor to present the simplified model of the functional coverage to a user.

摘要翻译： 用于呈现功能覆盖的装置，包括一个或多个处理器和存储器，其中所述存储器存储软件指令，其包括用于将被测设计的一组属性表示为多维交叉产品空间的指令，所述指令包括与组合相对应的事件 要测试的属性的值，包括合法和非法事件的事件，用于对设计进行至少一次测试的指令，响应于至少一个测试的用于识别被覆盖的法律事件的第一组的指令 通过所述至少一个测试和在所述至少一个测试之后未被覆盖的所述法律事件的第二组，用于将所述非法事件中的一个或多个与所述第一和第二组中的至少一个分组的指令，以便生成 交叉产品空间中的事件的功能覆盖的简化模型以及用于呈现功能覆盖的简化模型的指令 在输出设备上。 该装置还包括耦合到覆盖处理器以向用户呈现功能覆盖的简化模型的输出设备。

公开(公告)号：US20060229860A1

公开(公告)日：2006-10-12

申请号：US11101333

申请日：2005-04-07

申请人： Yehezkel Azatchi ,  Eitan Marcus ,  Shmuel Ur ,  Avi Ziv ,  Keren Zohar

发明人： Yehezkel Azatchi ,  Eitan Marcus ,  Shmuel Ur ,  Avi Ziv ,  Keren Zohar

IPC分类号： G06F17/50

CPC分类号： G06F17/5009 ,  G06F11/3676

摘要： A method for presentation of functional coverage includes representing a set of attributes of a design under test as a multi-dimensional cross-product space, which includes events corresponding to combinations of values of the attributes to be tested, the events including legal and illegal events. At least one test is run on the design, and responsively to the at least one test, a first group of the legal events that were covered by the at least one test and a second group of the legal events that remain non-covered after the at least one test are identified. One or more of the illegal events are grouped with at least one of the first and second groups so as to present a simplified model of the coverage of the events in the cross-product space.

摘要翻译： 用于呈现功能覆盖的方法包括将被测设计的一组属性表示为多维交叉产品空间，其包括对应于待测试属性的值的组合的事件，包括合法和非法事件的事件 。 对设计进行至少一次测试，并且响应于至少一次测试，由至少一次测试涵盖的第一组法律事件和第二组法律事件在第 确定至少一个测试。 一个或多个非法事件与第一和第二组中的至少一个分组，以呈现跨产品空间中的事件的覆盖的简化模型。