Ejemplo n.º 1
0
    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
Ejemplo n.º 2
0
 def getBootPC(self):
     return PcConfig.get_boot_pc(self.genThread.genThreadID)