NVHLSVerify

Verification co-simulation support. More...

Files
file	match_scverify.h
file	nvhls_verify.h

Macros
#define	NVHLS_DESIGN(X)
#define	NVHLS_DESIGN_IN_CHIP(X)

Detailed Description

Verification co-simulation support.

Macro Definition Documentation

NVHLS_DESIGN

#define NVHLS_DESIGN

(

X

)

Debug Specifies a unit that is the device-under-test within a testbench. This will be the DUT for SCVerify, and is only supported with SystemC. Use this macro within a testbench, and use the NVHLS_DESIGN_IN_CHIP() if it is within the design files.

List of units to be supported for co-simulation by NVHLS_DESIGN() And NVHLS_DESIGN_IN_CHIP() should be specified in NVHLS_VERIFY_BLOCKS. Only need to include the top-level units that will be directly under SystemC in co-simulation. It's important to specify this immediately before including nvhls_verify. Do not include any intermediate header files or specify any other defines in between.

A Simple Example

#define NVHLS_VERIFY_BLOCKS (UnitA)(UnitB)(UnitC)
#include <nvhls_verify.h>
 
...
NVHLS_DESIGN(UnitA) my_unita; // Instance
NVHLS_DESIGN(UnitA)* my_unita_ptr = new NVHLS_DESIGN(UnitA)(); // Pointer and dynamic allocation

Definition at line 109 of file nvhls_verify.h.

NVHLS_DESIGN_IN_CHIP

#define NVHLS_DESIGN_IN_CHIP

(

X

)

Debug Specifies a unit that could be switched between SystemC and RTL in co-simulation. Use this macro within the design files, and use the NVHLS_DESIGN() macro if it is within the testbench.

List of units to be supported for co-simulation by NVHLS_DESIGN() And NVHLS_DESIGN_IN_CHIP() should be specified in NVHLS_VERIFY_BLOCKS. Only need to include the top-level units that will be directly under SystemC in co-simulation. It's important to specify this immediately before including nvhls_verify. Do not include any intermediate header files or specify any other defines in between.

A Simple Example

#define NVHLS_VERIFY_BLOCKS (UnitA)(UnitB)(UnitC)
#include <nvhls_verify.h>
 
...
NVHLS_DESIGN_IN_CHIP(UnitA) my_unita; // Instance
NVHLS_DESIGN_IN_CHIP(UnitA)* my_unita_ptr = new NVHLS_DESIGN_IN_CHIP(UnitA)(); // Pointer and dynamic allocation

Definition at line 115 of file nvhls_verify.h.