公开(公告)号：US09448777B2

公开(公告)日：2016-09-20

申请号：US14021134

申请日：2013-09-09

Applicant: Samsung Electronics Co., Ltd.

Inventor： Jin-sae Jung ,  Hee-jun Shim ,  Young-chul Cho ,  Yen-jo Han

IPC: G06F9/45 ,  G06F17/50

CPC classification number: G06F8/43 ,  G06F8/41 ,  G06F17/5022 ,  G06F17/5031 ,  G06F17/504

Abstract: 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.

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