def _getHandlerMemoryConstraint(self):
# Need to ensure the handler memory doesn't intersect the boot region
# or initial PC of any thread
handler_memory_constr = ConstraintSet(0, 0xFFFFFFFFFFFFFFFF)
for thread_id in range(self.getThreadNumber()):
handler_memory_constr.subRange(
PcConfig.get_boot_pc(thread_id),
(PcConfig.get_boot_pc(thread_id) +
PcConfig.get_boot_region_size() - 1),
)
handler_memory_constr.subValue(PcConfig.get_initial_pc(thread_id))
return handler_memory_constr
def getInitialPC(self):
"""Return initial main test PC for the generator thread"""
return PcConfig.get_initial_pc(self.genThread.genThreadID)
def getInitialPC(self):
return PcConfig.get_initial_pc(self.genThread.genThreadID)