公开(公告)号：EP2720149A2

公开(公告)日：2014-04-16

申请号：EP13183531.6

申请日：2013-09-09

申请人： Samsung Electronics Co., Ltd

发明人： Jung, Jin-Sae ,  Shim, Hee-Jun ,  Cho, Young-Chul ,  Han, Yen-Jo

IPC分类号： G06F11/263

CPC分类号： G06F8/43 ,  G06F8/41 ,  G06F17/5022 ,  G06F17/5031 ,  G06F17/504

摘要： Exemplary embodiments disclose a method for generating an assertion based on a user program code. The method may include receiving a user program comprising at least one assertion directive, a compiled result of the user program, and architecture information of a processor, and generating, based on the compiled result of the user program and the architecture information of the processor, an assertion which states an operation that the processor needs to perform in accordance with a code of the user program indicated by each of the at least one assertion directive.

摘要翻译： 示例性实施例公开了一种用于基于用户的程序代码在断言生成的方法。 该方法可以包括：接收用户程序包括至少一个断言指令，用户程序和处理器的体系结构的信息，以及生成的一个编译的结果，基于用户程序和处理器的体系结构的信息的经编译的结果， 哪些国家的主张手术做的处理器需要在雅舞蹈与每个至少一个断言指令指示的用户程序的代码来执行。

公开(公告)号：EP2706459B1

公开(公告)日：2018-06-13

申请号：EP13183532.4

申请日：2013-09-09

申请人： Samsung Electronics Co., Ltd.

发明人： Shim, Hee-Jun ,  Ahn, Min-Wook ,  Jung, Jin-Sae ,  Han, Yen-Jo

IPC分类号： G06F11/36 ,  G06F9/45

CPC分类号： G06F11/3624 ,  G06F8/41 ,  G06F11/3612 ,  G06F11/3672

摘要： An apparatus for detecting a source code error location in a mixed-mode program is disclosed. The apparatus may include a compiler, a mapping table generator, a simulator, a comparison data generator and an error location detector. The apparatus extracts low-level data while simulating a verification program and while simulating a reference program. The low-level data is mapped to mapping tables for a verification program and a reference program, and by comparing the tables it is determined if there is an error in the mixed-mode program and if so, where.

公开(公告)号：EP2720149A3

公开(公告)日：2018-01-24

申请号：EP13183531.6

申请日：2013-09-09

申请人： Samsung Electronics Co., Ltd.

发明人： Jung, Jin-Sae ,  Shim, Hee-Jun ,  Cho, Young-Chul ,  Han, Yen-Jo

IPC分类号： G06F17/50 ,  G06F9/45

CPC分类号： G06F8/43 ,  G06F8/41 ,  G06F17/5022 ,  G06F17/5031 ,  G06F17/504

摘要： Exemplary embodiments disclose a method for generating an assertion based on a user program code. The method may include receiving a user program comprising at least one assertion directive, a compiled result of the user program, and architecture information of a processor, and generating, based on the compiled result of the user program and the architecture information of the processor, an assertion which states an operation that the processor needs to perform in accordance with a code of the user program indicated by each of the at least one assertion directive.

摘要翻译： 示例性实施例公开了一种用于基于用户程序代码生成断言的方法。 该方法可以包括：接收包括至少一个断言指示，用户程序的编译结果和处理器的架构信息的用户程序，并且基于用户程序的编译结果和处理器的架构信息， 指示处理器需要根据由至少一个断言指令中的每一个指示的用户程序的代码执行的操作的断言。

公开(公告)号：EP2706459A1

公开(公告)日：2014-03-12

申请号：EP13183532.4

申请日：2013-09-09

申请人： Samsung Electronics Co., Ltd

发明人： Shim, Hee-Jun ,  Ahn, Min-Wook ,  Jung, Jin-Sae ,  Han, Yen-Jo

IPC分类号： G06F11/36

CPC分类号： G06F11/3624 ,  G06F8/41 ,  G06F11/3612 ,  G06F11/3672

摘要： An apparatus for detecting a source code error location in a mixed-mode program is disclosed. The apparatus may include a compiler, a mapping table generator, a simulator, a comparison data generator and an error location detector. The apparatus extracts low-level data while simulating a verification program and while simulating a reference program. The low-level data is mapped to mapping tables for a verification program and a reference program, and by comparing the tables it is determined if there is an error in the mixed-mode program and if so, where.

摘要翻译： 在混合模式程序中检测源代码差错的位置的装置是游离缺失盘。 该装置可以包括一个编译器，一个映射表产生器，模拟器，比较数据产生和在错误位置检测器。 该装置同时模拟的验证程序和同时模拟参考程序提取低级数据。 低电平数据被映射到映射表用于验证程序和基准程序，并且通过比较这是确定性的开采的表，如果有在混合模式程序错误，并且如果是这样，在那里。