-
1.发明授权公开(公告)号：US08856726B2
公开(公告)日：2014-10-07
申请号：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.
摘要翻译： 在一个实施例中，将模型切成多个切片。 选择多个切片中的切片。 根据从模型生成的代码来识别对应于所选切片的一部分代码。 所识别的代码被验证为等同于所选择的切片。 等效性可以包括等效的功能，等效的数据类型，等效的性能，和/或所选切片和所识别的生成的代码之间的等价的其他形式。
-
2.发明授权Using intermediate representations to verify computer-executable code generated from a model 有权使用中间表示法来验证从模型生成的计算机可执行代码公开(公告)号：US08869103B2
公开(公告)日：2014-10-21
申请号：US13250577
申请日：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分类号： 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.
摘要翻译： 在一个实施例中，将模型切成多个切片。 选择多个切片中的切片。 根据从模型生成的代码来识别对应于所选切片的一部分代码。 所识别的代码被验证为等同于所选择的切片。 等效性可以包括等效的功能，等效的数据类型，等效的性能，和/或所选切片和所识别的生成的代码之间的等价的其他形式。
-
搜索结果
2 条记录 (耗时 0.023 秒)