circt::bmc Namespace Reference

Classes
class	BMCTrace

Functions
void	circt_bmc_record_trace (BMCTrace *trace, uint32_t step, const char *name, uint32_t width, BMCTrace::Handle handle)
	Runtime entry point called by JIT-compiled BMC code.

Function Documentation

circt_bmc_record_trace()

void circt::bmc::circt_bmc_record_trace	(	BMCTrace *	trace,
		uint32_t	step,
		const char *	name,
		uint32_t	width,
		BMCTrace::Handle	handle
	)

Runtime entry point called by JIT-compiled BMC code.

Definition at line 78 of file BMCTrace.cpp.

References circt::bmc::BMCTrace::record().