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)