公开(公告)号：US20120254830A1

公开(公告)日：2012-10-04

申请号：US13250577

申请日：2011-09-30

申请人： Mirko CONRAD ,  Xiaocang LIN ,  Jun YAN ,  Peter SZPAK ,  Matthew Wnglehart ,  Appa Rao NIRAKH ,  Jaya SHANKAR

发明人： Mirko CONRAD ,  Xiaocang LIN ,  Jun YAN ,  Peter SZPAK ,  Matthew Wnglehart ,  Appa Rao NIRAKH ,  Jaya SHANKAR

IPC分类号： G06F9/44

CPC分类号： G06F11/3604 ,  G06F8/35

摘要： In an embodiment, a model is sliced into a plurality of slices. A slice in the plurality of slices is selected. A portion of code, that corresponds to the selected slice, is identified from code generated from the model. The identified code is verified to be equivalent to the selected slice. Equivalence may include equivalent functionality, equivalent data types, equivalent performance, and/or other forms of equivalence between the selected slice and the identified generated code.

公开(公告)号：US20120254827A1

公开(公告)日：2012-10-04

申请号：US13250590

申请日：2011-09-30

申请人： Mirko CONRAD ,  Xiaocang LIN ,  Jun YAN ,  Peter SZPAK ,  Appa Rao NIRAKH ,  Jaya SHANKAR

发明人： Mirko CONRAD ,  Xiaocang LIN ,  Jun YAN ,  Peter SZPAK ,  Appa Rao NIRAKH ,  Jaya SHANKAR

IPC分类号： G06F9/44

CPC分类号： G06F8/35 ,  G06F11/3604

摘要： In an embodiment, a model is sliced into a plurality of slices. A slice in the plurality of slices is selected. A portion of code, that corresponds to the selected slice, is identified from code generated from the model. The identified code is verified to be equivalent to the selected slice. Equivalence may include equivalent functionality, equivalent data types, equivalent performance, and/or other forms of equivalence between the selected slice and the identified generated code.

摘要翻译： 在一个实施例中，将模型切成多个切片。 选择多个片中的切片。 根据从模型生成的代码来识别对应于所选切片的一部分代码。 所识别的代码被验证为等同于所选择的切片。 等效性可以包括等效的功能，等效的数据类型，等效的性能，和/或所选切片和所识别的生成的代码之间的等价的其他形式。