公开(公告)号：CN103678114B

公开(公告)日：2018-11-02

申请号：CN201310407224.X

申请日：2013-09-09

Applicant: 三星电子株式会社

Inventor： 丁镇世 ,  沈熙峻 ,  曹暎喆 ,  韩渊照

IPC: G06F11/36

Abstract: 提供一种产生断言的设备和方法以及验证处理器的设备和方法。示例性实施例公开了一种用于基于用户程序代码产生断言的方法。所述方法包括接收包括至少一个断言指令的用户程序、用户程序的编译结果以及处理器的架构信息，并基于用户程序的编译结果和处理器的架构信息产生规定处理器需要根据由所述至少一个断言指令中的每个断言指令指示的用户程序的代码执行的操作的断言。

公开(公告)号：CN103678115B

公开(公告)日：2017-09-08

申请号：CN201310407591.X

申请日：2013-09-09

Applicant: 三星电子株式会社

Inventor： 沈熙峻 ,  安珉旭 ,  丁镇世 ,  韩渊照

IPC: G06F11/36

CPC classification number: G06F11/3624 ,  G06F8/41 ,  G06F11/3612 ,  G06F11/3672

Abstract: 一种在混合模式程序中检测源代码差错的位置的设备和方法。公开了一种在混合模式程序中检测源代码差错位置的设备。所述设备可包括编译器、映射表产生器、仿真器、比较数据产生器和差错位置检测器。所述设备在仿真验证程序并且仿真参考程序的同时提取低级数据。低级数据被映射到验证程序和参考程序的映射表，并且通过比较验证程序和参考程序的映射表，确定在混合模式程序中是否存在差错，并且如果差错存在，则确定差错在哪里。

公开(公告)号：CN103309803B

公开(公告)日：2017-06-23

申请号：CN201310033915.8

申请日：2013-01-29

Applicant: 三星电子株式会社

Inventor： 曹暎喆 ,  金泰松 ,  徐东宽 ,  韩渊照

IPC: G06F11/36 ,  G06F15/76

CPC classification number: G06F11/3604 ,  G06F8/4452 ,  G06F11/3664 ,  G06F17/5027

Abstract: 提供了一种用于支持可重构处理器的验证的设备和方法。所述验证支持设备包括：无效操作确定器，被配置为从对源代码的调度的结果检测任何无效操作；掩蔽提示产生器，被配置为针对检测到的无效操作产生掩蔽提示。根据示例，通过执行预处理来防止验证设备将无效操作的模拟结果相互比较，可提高验证设备的验证精度和性能。

公开(公告)号：CN103678115A

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

申请号：CN201310407591.X

申请日：2013-09-09

Applicant: 三星电子株式会社

Inventor： 沈熙峻 ,  安珉旭 ,  丁镇世 ,  韩渊照

IPC: G06F11/36

CPC classification number: G06F11/3624 ,  G06F8/41 ,  G06F11/3612 ,  G06F11/3672

Abstract: 一种在混合模式程序中检测源代码差错的位置的设备和方法。公开了一种在混合模式程序中检测源代码差错位置的设备。所述设备可包括编译器、映射表产生器、仿真器、比较数据产生器和差错位置检测器。所述设备在仿真验证程序并且仿真参考程序的同时提取低级数据。低级数据被映射到验证程序和参考程序的映射表，并且通过比较验证程序和参考程序的映射表，确定在混合模式程序中是否存在差错，并且如果差错存在，则确定差错在哪里。

公开(公告)号：CN103678114A

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

申请号：CN201310407224.X

申请日：2013-09-09

Applicant: 三星电子株式会社

Inventor： 丁镇世 ,  沈熙峻 ,  曹暎喆 ,  韩渊照

IPC: G06F11/36

Abstract: 提供一种产生断言的设备和方法以及验证处理器的设备和方法。示例性实施例公开了一种用于基于用户程序代码产生断言的方法。所述方法包括接收包括至少一个断言指令的用户程序、用户程序的编译结果以及处理器的架构信息，并基于用户程序的编译结果和处理器的架构信息产生规定处理器需要根据由所述至少一个断言指令中的每个断言指令指示的用户程序的代码执行的操作的断言。

公开(公告)号：CN103309803A

公开(公告)日：2013-09-18

申请号：CN201310033915.8

申请日：2013-01-29

Applicant: 三星电子株式会社

Inventor： 曹暎喆 ,  金泰松 ,  徐东宽 ,  韩渊照

IPC: G06F11/36 ,  G06F15/76

CPC classification number: G06F11/3604 ,  G06F8/4452 ,  G06F11/3664 ,  G06F17/5027

Abstract: 提供了一种用于支持可重构处理器的验证的设备和方法。所述验证支持设备包括：无效操作确定器，被配置为从对源代码的调度的结果检测任何无效操作；掩蔽提示产生器，被配置为针对检测到的无效操作产生掩蔽提示。根据示例，通过执行预处理来防止验证设备将无效操作的模拟结果相互比较，可提高验证设备的验证精度和性能。