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:
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:
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:
멀티 코어 시스템에서 코어 간의 연결을 재구성가능하도록 하는 데이터 전송 장치 및 방법이 제공된다. 멀티 코어들 사이의 데이터를 전송하는 장치는, 멀티 코어로부터 수신된 프로그램 카운터를 이용하여 멀티 코어들 사이의 로컬 네트워크 연결을 나타내는 구성 정보를 생성하는 구성 정보 생성부와, 구성 정보에 따라서 멀티 코어들 사이의 데이터 전송 경로를 변경하는 적어도 하나의 스위칭부를 포함한다.
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