<br>

Macros for synthesizable and non-synthesizable assertions. More...

Macros
#define	NVHLS_ASSERT(X)   __NVHLS_ASSERT_SC(X)
#define	NVHLS_ASSERT(X)   __NVHLS_ASSERT_SC(X)
#define	NVHLS_ASSERT_MSG(X, MSG)   __NVHLS_ASSERT_SC(X && MSG)
#define	NVHLS_ASSERT_MSG(X, MSG)   __NVHLS_ASSERT_SC(X && MSG)

Detailed Description

Macros for synthesizable and non-synthesizable assertions.

Macro Definition Documentation

NVHLS_ASSERT [1/2]

#define NVHLS_ASSERT

(

X

)

__NVHLS_ASSERT_SC(X)

Synthesizable assertion to check x. It will be synthesized by Catapult HLS tool to either sva or ovl assertions in RTL depending on HLS tool settings. If HLS_CATAPULT flag is not set, then assertions are enabled only in SystemC/C++ simulation and not synthesized to RTL.

A Simple Example

#include <nvhls_assert.h>
 
...
while(1) {
  if (in.PopNB(in_var)) {
    NVHLS_ASSERT(in_var!=0); // Assert that input is never 0
  ...
  }
}

Definition at line 79 of file nvhls_assert.h.

NVHLS_ASSERT [2/2]

#define NVHLS_ASSERT

(

X

)

__NVHLS_ASSERT_SC(X)

Synthesizable assertion to check x. It will be synthesized by Catapult HLS tool to either sva or ovl assertions in RTL depending on HLS tool settings. If HLS_CATAPULT flag is not set, then assertions are enabled only in SystemC/C++ simulation and not synthesized to RTL.

A Simple Example

#include <nvhls_assert.h>
 
...
while(1) {
  if (in.PopNB(in_var)) {
    NVHLS_ASSERT(in_var!=0); // Assert that input is never 0
  ...
  }
}

Definition at line 79 of file nvhls_assert.h.

NVHLS_ASSERT_MSG [1/2]

#define NVHLS_ASSERT_MSG	(		X,
			MSG
	)		__NVHLS_ASSERT_SC(X && MSG)

Synthesizable assertion to check x and print msg if assertion fails. It will be synthesized by Catapult HLS tool to either psl or ovl assertions in RTL depending on HLS tool settings. If HLS_CATAPULT flag is not set, then assertions are enabled only in SystemC/C++ simulation and not synthesized to RTL.

A Simple Example

#include <nvhls_assert.h>
 
...
while(1) {
  if (in.PopNB(in_var)) {
    NVHLS_ASSERT_MSG(in_var!=0, "Input is Zero"); // Assert that input is never 0
  ...
  }
}

Definition at line 159 of file nvhls_assert.h.

NVHLS_ASSERT_MSG [2/2]

#define NVHLS_ASSERT_MSG	(		X,
			MSG
	)		__NVHLS_ASSERT_SC(X && MSG)

Synthesizable assertion to check x and print msg if assertion fails. It will be synthesized by Catapult HLS tool to either psl or ovl assertions in RTL depending on HLS tool settings. If HLS_CATAPULT flag is not set, then assertions are enabled only in SystemC/C++ simulation and not synthesized to RTL.

A Simple Example

#include <nvhls_assert.h>
 
...
while(1) {
  if (in.PopNB(in_var)) {
    NVHLS_ASSERT_MSG(in_var!=0, "Input is Zero"); // Assert that input is never 0
  ...
  }
}

Definition at line 159 of file nvhls_assert.h.