사용자 프로그램 코드에 기반한 어써션 생성 장치 및 방법, 어써션을 이용한 프로세서 검증 장치 및 방법
    4.
    发明公开
    사용자 프로그램 코드에 기반한 어써션 생성 장치 및 방법, 어써션을 이용한 프로세서 검증 장치 및 방법 审中-实审
    基于用户程序代码生成判断的装置和方法,使用判断的处理器验证的装置和方法

    公开(公告)号:KR1020140034050A

    公开(公告)日:2014-03-19

    申请号:KR1020130096109

    申请日:2013-08-13

    Abstract: A time required for designing an assertion, verifying the designed assertion, and modifying the assertion due to architecture change of a verification target can be reduced by using assertion generating syntax included in a test program and automatically generating the assertion for the verification of a processor operation. [Reference numerals] (110) Input unit; (130) Assertion generating unit

    Abstract translation: 可以通过使用包括在测试程序中的断言生成语法并自动生成用于验证处理器操作的断言来减少设计断言,验证设计的断言以及由于验证目标的体系结构改变而修改断言所需的时间 。 (附图标记)(110)输入单元; (130)断言产生单元

    혼합 모드 프로그램의 소스 코드 오류 위치 검출 장치 및 방법
    5.
    发明公开
    혼합 모드 프로그램의 소스 코드 오류 위치 검출 장치 및 방법 审中-实审
    用于检测混合模式的源代码中的错误和确定相应位置的装置和方法应用程序源代码

    公开(公告)号:KR1020140033616A

    公开(公告)日:2014-03-19

    申请号:KR1020120099609

    申请日:2012-09-07

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

    Abstract: Disclosed are an apparatus and method for detecting a source code error location in a mixed-mode program, capable of providing source level debugging information without applying complex algorithm. An apparatus for detecting a source code error location in a mixed-mode program according to an embodiment comprises: a compiler unit which generates a first program by compiling a source code in a first mode, and generates a second program by compiling the source code in a second mode; a mapping table generation unit which generates a first mapping table for the first program, and a second mapping table for the second program; a simulation unit which simulates the first program and simulates the second program; a low-level data extraction unit which extracts first low-level data on the first program during the simulation of the first program, and extracts second low-level data on the second program during the simulation of the second program; a comparison data generation unit which maps the first low-level data onto the first mapping table to generate a verification target mapping table, and maps the second low-level data onto the second mapping table to generate a reference mapping table; and an error location detection unit which compares the verification target mapping table with the reference mapping table to determine whether there is an inconsistent record of data, and if so, obtains program location information relating to the record. [Reference numerals] (AA) Start; (BB) End; (S100) Compile step; (S110) Simulation and low level data extraction step; (S120) Comparison data generation step; (S130) Error location detection step

    Abstract translation: 公开了一种用于检测混合模式程序中的源代码错误位置的装置和方法,能够提供源级调试信息而不应用复杂算法。 根据实施例的用于检测混合模式程序中的源代码错误位置的装置包括:编译单元,其通过以第一模式编译源代码来生成第一程序,并且通过将源代码编译成 第二种模式; 生成第一程序的第一映射表和第二程序的第二映射表的映射表生成单元, 模拟单元,其模拟第一程序并模拟第二程序; 低级数据提取单元,其在第一程序的模拟期间提取第一程序的第一低级数据,并且在第二程序的模拟期间提取关于第二程序的第二低级数据; 比较数据生成单元,将第一低级数据映射到第一映射表上,生成验证对象映射表,将第二低级数据映射到第二映射表,生成参照映射表; 以及错误位置检测单元,其将验证目标映射表与参考映射表进行比较,以确定是否存在不一致的数据记录,如果是,则获得与记录相关的节目位置信息。 (附图标记)(AA)开始; (BB)结束; (S100)编译步骤; (S110)模拟和低电平数据提取步骤; (S120)比较数据生成步骤; (S130)错误位置检测步骤

    파이프라인 프로세서 및 이퀄 모델 보존 방법
    6.
    发明公开
    파이프라인 프로세서 및 이퀄 모델 보존 방법 有权
    管道加工器和等效模型保存方法

    公开(公告)号:KR1020110130284A

    公开(公告)日:2011-12-05

    申请号:KR1020100049852

    申请日:2010-05-27

    Abstract: PURPOSE: A pipe line processor and equal model preservation method are provided to maintain an equal model by processing the event of a pipe line. CONSTITUTION: A pipe line processor(101) processes an instruction by separating the instruction to plural stages. An equal model correction unit(102) stores the processing result of the instruction which is located in the inner side of the pipe line processing unit. The equal model correction unit records the processing result in a register file(103) considering of the latency of the instruction. The equal model correction unit records the processing result in the register file by responding to a recovery signal which restarts the pipe line processing unit.

    Abstract translation: 目的:提供管道处理器和等效模型保存方法,通过处理管道事件来维持相等的模型。 构成:管线处理器(101)通过将指令分离成多级来处理指令。 相等模型校正单元(102)存储位于管线处理单元的内侧的指令的处理结果。 考虑到指令的等待时间,等模型校正单元将处理结果记录在寄存器文件(103)中。 相等模型校正单元通过响应重启管线处理单元的恢复信号将处理结果记录在寄存器文件中。

    재구성 가능 프로세서의 검증 지원 장치 및 방법
    10.
    发明公开
    재구성 가능 프로세서의 검증 지원 장치 및 방법 审中-实审
    用于支持可重构处理器验证的装置和方法

    公开(公告)号:KR1020130105183A

    公开(公告)日:2013-09-25

    申请号:KR1020120027401

    申请日:2012-03-16

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

    Abstract: PURPOSE: Verification support device and method are provided to improve the verification accuracy and performance by masking invalid operation mapped in prologue and epilogue of a loop by modulo scheduling of a coarse grained array (CGA) based processor. CONSTITUTION: An invalid operation judgment unit (110) judges invalid operation from a source code scheduling result. A masking hint generation unit (120) generates a masking hint for invalid operation. The invalid operation is operation mapped in a prologue or an epilogue of a loop according to modulo scheduling of a compiler. A reconfigurable processor is a CGA based processor. A masking hint (121) includes ID information of a functional unit in which cycle number and invalid operation are mapped from the prologue or the epilogue. [Reference numerals] (110) Invalid operation judgment unit; (120) Masking hint generation unit; (121) Hint; (201) Scheduling result

    Abstract translation: 目的:提供验证支持设备和方法,以通过基于粗粒度阵列(CGA)的处理器的模调度来掩蔽映射到循环序列和结尾的无效操作来提高验证精度和性能。 构成:无效操作判断单元(110)根据源代码调度结果判断无效操作。 屏蔽提示生成单元(120)生成用于无效操作的屏蔽提示。 根据编译器的模调度,无效操作是在循环的序言或结尾进行映射的操作。 可重构处理器是基于CGA的处理器。 掩蔽提示(121)包括从序列或结尾映射循环次数和无效操作的功能单元的ID信息。 (附图标记)(110)无效操作判断单元; (120)屏蔽提示生成单元; (121)提示; (201)调度结果

Patent Agency Ranking