Python PcConfig.get_boot_pc示例

示例#1

文件： EnvRISCV.py 项目： mfkiwl/force-riscv

    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

示例#2

文件： GenThreadRISCV.py 项目： mfkiwl/force-riscv

 def getBootPC(self):
     return PcConfig.get_boot_pc(self.genThread.genThreadID)