Index

A

abs (class in ScEpTIC.AST.builtins.libs.math) absolute_address (ScEpTIC.emulator.memory.virtual_memory_cell.VirtualMemoryCell property) account_for_pc_save_only() (ScEpTIC.AST.transformations.virtual_memory.analysis.registers_usage.RegistersUsage static method) acos (class in ScEpTIC.AST.builtins.libs.math) adc_get_data (class in ScEpTIC.AST.builtins.libs.sceptic) ADC_I_TO_CONSIDER (ScEpTIC.emulator.energy.mcu.MCUEnergyModel attribute) adc_off (class in ScEpTIC.AST.builtins.libs.sceptic) ADC_OFF (ScEpTIC.emulator.energy.power_state_event.PowerStateEvent attribute) adc_on (class in ScEpTIC.AST.builtins.libs.sceptic) adc_read (class in ScEpTIC.AST.builtins.libs.sceptic) ADCPowerState (class in ScEpTIC.emulator.energy.mcu.options) add_basic_block() (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method) add_config() (ScEpTIC.config.base_config.ScEpTICBaseConfig method) (ScEpTIC.config.custom_metrics_config.CustomMetricsConfig method) add_custom_metric() (ScEpTIC.config.custom_metrics_config.CustomMetricsConfig method) add_element() (ScEpTIC.emulator.intermittent_executor.anomalies.LinearAnomaly method) add_instruction() (ScEpTIC.AST.transformations.virtual_memory.elements.basic_block.BasicBlock method) add_next_label() (ScEpTIC.AST.transformations.virtual_memory.elements.basic_block.BasicBlock method) add_offset() (ScEpTIC.emulator.memory.Memory method) add_other_pc() (ScEpTIC.emulator.intermittent_executor.anomalies.LinearAnomaly method) add_power_off_event() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) add_prev_label() (ScEpTIC.AST.transformations.virtual_memory.elements.basic_block.BasicBlock method) add_to_custom_basic_block() (ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block.ConditionalBlock method) add_to_custom_exit_block() (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method) add_to_custom_preheader() (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method) address (ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_i2c.I2CExternalNVMProtocol attribute) (ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_spi.SPIExternalNVMProtocol attribute) address_dimension (ScEpTIC.AST.elements.types.Type attribute) address_dimension() (in module ScEpTIC.AST.builtins.libs.mem) address_dimension_16() (in module ScEpTIC.AST.builtins.libs.llvm) address_dimension_32() (in module ScEpTIC.AST.builtins.libs.llvm) address_dimension_64() (in module ScEpTIC.AST.builtins.libs.llvm) address_uncertainty() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager method) address_war_hazards() (ScEpTIC.AST.transformations.virtual_memory.virtual_memory_transformations.VirtualMemoryTransformations static method) adjust_alloca_ticks() (ScEpTIC.AST.elements.function.Function method) adjust_conditional_basic_blocks() (ScEpTIC.AST.transformations.virtual_memory.parsers.elements.conditional_parser.ConditionalParser method) adjust_dummy_writes() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager method) adjust_functions_stack() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager method) adjust_loop_basic_blocks() (ScEpTIC.AST.transformations.virtual_memory.parsers.elements.loop_parser.LoopParser method) ALFRED_n_min() (ScEpTIC.emulator.energy.mcu.MCUEnergyModel method) ALIGN (ScEpTIC.AST.transformations.virtual_memory.parsers.memory_tags_parser.MemoryTagsParser attribute) all_elements (ScEpTIC.AST.transformations.virtual_memory.elements.basic_block.BasicBlock attribute) (ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block.ConditionalBlock attribute) (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock attribute) AllocaOperation (class in ScEpTIC.AST.elements.instructions.memory_operations) allocate() (ScEpTIC.emulator.memory.virtual_global_symbol_table.VirtualGlobalSymbolTable method) (ScEpTIC.emulator.memory.virtual_global_symbol_table_unifier.VirtualGlobalSymbolTableUnifier method) (ScEpTIC.emulator.memory.virtual_heap.VirtualHeap method) (ScEpTIC.emulator.memory.virtual_stack.VirtualStack method) allocate_registers() (in module ScEpTIC.AST.register_allocation.linear_scan) already_processed() (ScEpTIC.AST.transformations.virtual_memory.analysis.nvm_instructions_identifier.NVMInstructionsIdentifier static method) ALWAYS_ON (ScEpTIC.emulator.energy.mcu_peripheral.options.MCUPeripheralPowerStateBehaviour attribute) AnalysisConfig (class in ScEpTIC.config.analysis_config)

AnalysisResultFormat (class in ScEpTIC.analysis.options) analyze_memory_traces() (ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_locate.LocateMemoryAnomaliesInterruptionManager method) anomaly_found() (ScEpTIC.emulator.stats.ScEpTICStats method) AnomalyException append_alloca_operation() (ScEpTIC.AST.register_allocation.linear_scan.linear_scan.LinearScanRegisterAllocator method) append_load_operation() (ScEpTIC.AST.register_allocation.linear_scan.linear_scan.LinearScanRegisterAllocator method) append_store_operation() (ScEpTIC.AST.register_allocation.linear_scan.linear_scan.LinearScanRegisterAllocator method) apply() (ScEpTIC.AST.transformations.virtual_memory.virtual_memory_transformations.VirtualMemoryTransformations static method) apply_implicit_restore() (ScEpTIC.AST.transformations.virtual_memory.virtual_memory_transformations.VirtualMemoryTransformations static method) apply_implicit_save() (ScEpTIC.AST.transformations.virtual_memory.virtual_memory_transformations.VirtualMemoryTransformations static method) apply_transformation() (in module ScEpTIC.AST.transformations) (in module ScEpTIC.AST.transformations.base.main) (in module ScEpTIC.AST.transformations.mementos_memory_map.main) (in module ScEpTIC.AST.transformations.nv_memory_map.main) (in module ScEpTIC.AST.transformations.place_static_frequency_scaling_ops.main) (in module ScEpTIC.AST.transformations.ratchet.main) (in module ScEpTIC.AST.transformations.static_dvfs.main) (in module ScEpTIC.AST.transformations.virtual_memory.main) apply_virtual_memory_transformations() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager method) argc() (ScEpTIC.AST.transformations.base.instructions.CustomInstruction method) args (ScEpTIC.AST.builtins.builtin.Builtin property) asin (class in ScEpTIC.AST.builtins.libs.math) ASTParser (class in ScEpTIC.AST.transformations.virtual_memory.parsers.ast_parser) ASTParsingException ASTTransformationsConfig (class in ScEpTIC.config.ast_transformations_config) atan (class in ScEpTIC.AST.builtins.libs.math) atan2 (class in ScEpTIC.AST.builtins.libs.math) atoi() (in module ScEpTIC.tools) attach_body() (ScEpTIC.AST.elements.function.Function method) attach_charge_booster() (ScEpTIC.emulator.energy.energy_harvester.charge_booster.ChargeBoosterEnergyHarvester method) attach_component() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) attach_custom_device() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) attach_energy_buffer() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) attach_energy_harvester() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) attach_energy_source() (ScEpTIC.emulator.energy.energy_harvester.charge_booster.ChargeBoosterEnergyHarvester method) (ScEpTIC.emulator.energy.energy_harvester.EnergyHarvesterModel method) (ScEpTIC.emulator.energy.energy_harvester.generic.GenericEnergyHarvester method) attach_energy_source_model() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) attach_mcu() (ScEpTIC.emulator.energy.mcu_peripheral.MCUPeripheral method) (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) attach_peripheral() (ScEpTIC.emulator.energy.mcu.MCUEnergyModel method) attach_state_retention_model() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) attach_system_model() (ScEpTIC.emulator.energy.mcu_peripheral.camera_0V7620.Camera0V7620Model method) (ScEpTIC.emulator.energy.mcu_peripheral.cc1101.CC1101Model method) (ScEpTIC.emulator.energy.mcu_peripheral.generic_sensor.GenericADCSensorModel method) (ScEpTIC.emulator.energy.mcu_peripheral.SGP40.SGP40 method) (ScEpTIC.emulator.energy.mcu_peripheral.SHT85.SHT85 method) (ScEpTIC.emulator.energy.state_retention.StateRetentionEnergyModel method) (ScEpTIC.emulator.energy.timekeeper.TimekeeperModel method) attach_timekeeper() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) attach_voltage_regulator() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) attach_voltage_source() (ScEpTIC.emulator.energy.mcu_peripheral.external_nvm.ExternalNVM method) (ScEpTIC.emulator.energy.voltage_drawner.VoltageDrawner method)

B

BaseASTElement (class in ScEpTIC.AST.transformations.virtual_memory.elements.base_element) BaselineDataAnomaly (class in ScEpTIC.emulator.intermittent_executor.anomalies) BaselineInputAnomaly (class in ScEpTIC.emulator.intermittent_executor.anomalies) BaseMemoryConfig (class in ScEpTIC.config.memory_config) BaseTransformationsConfig (class in ScEpTIC.AST.transformations.base.config) BaseType (class in ScEpTIC.AST.elements.types) BasicBlock (class in ScEpTIC.AST.transformations.virtual_memory.elements.basic_block)

BasicBlocksParser (class in ScEpTIC.AST.transformations.virtual_memory.parsers.elements.basic_blocks_parser) BAUD_RATE (ScEpTIC.emulator.energy.mcu_peripheral.cc1101.CC1101Model attribute) BinaryOperation (class in ScEpTIC.AST.elements.instructions.binary_operation) BranchOperation (class in ScEpTIC.AST.elements.instructions.termination_instructions) build_input_lookup_data() (in module ScEpTIC.tools) Builtin (class in ScEpTIC.AST.builtins.builtin) BuiltinLinker (class in ScEpTIC.AST.builtins.linker) builtins (ScEpTIC.AST.builtins.builtin.Builtin attribute)

C

cache_default_dir (ScEpTIC.analysis.utils.settings_cache.SettingsCache attribute) cache_element (ScEpTIC.analysis.utils.max_cycles_between_save_state_identifier.MaxCyclesBetweenStateSaveIdentifier attribute) (ScEpTIC.analysis.utils.max_state_identifier.MaxStateIdentifier attribute) (ScEpTIC.analysis.utils.min_capacitor_size_identifier.MinCapacitorSizeIdentifier attribute) (ScEpTIC.analysis.utils.voltage_thresholds_identifier.VoltageThresholdsIdentifier attribute) calc_crc() (in module ScEpTIC.emulator.memory.utils) calculate_energy_draws() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) calculate_recharge_energy_to_voltage() (ScEpTIC.emulator.energy.buffer.capacitor.CapacitorModel method) (ScEpTIC.emulator.energy.buffer.EnergyBufferModel method) calculate_recharge_time_to_voltage() (ScEpTIC.emulator.energy.buffer.capacitor.CapacitorModel method) (ScEpTIC.emulator.energy.buffer.EnergyBufferModel method) calculate_saved_memory_cells() (ScEpTIC.analysis.utils.saved_state_calculator.SavedStateCalculator method) calloc (class in ScEpTIC.AST.builtins.libs.mem) CallOperation (class in ScEpTIC.AST.elements.instructions.other_operations) calls_checkpoint() (ScEpTIC.AST.transformations.virtual_memory.elements.base_element.BaseASTElement method) (ScEpTIC.AST.transformations.virtual_memory.elements.basic_block.BasicBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block.ConditionalBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method) calls_to() (ScEpTIC.AST.transformations.virtual_memory.elements.base_element.BaseASTElement method) (ScEpTIC.AST.transformations.virtual_memory.elements.basic_block.BasicBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block.ConditionalBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method) Camera0V7620Model (class in ScEpTIC.emulator.energy.mcu_peripheral.camera_0V7620) camera_read_data (class in ScEpTIC.AST.builtins.libs.sceptic) CapacitorModel (class in ScEpTIC.emulator.energy.buffer.capacitor) cc1101_set_state (class in ScEpTIC.AST.builtins.libs.sceptic) cc1101_transmit (class in ScEpTIC.AST.builtins.libs.sceptic) CC1101Model (class in ScEpTIC.emulator.energy.mcu_peripheral.cc1101) CC_READ (ScEpTIC.emulator.energy.mcu_peripheral.camera_0V7620.Camera0V7620Model attribute) CC_READ_COMMAND (ScEpTIC.emulator.energy.mcu_peripheral.SHT85.SHT85 attribute) CC_READ_DATA (ScEpTIC.emulator.energy.mcu_peripheral.SHT85.SHT85 attribute) CC_SET (ScEpTIC.emulator.energy.mcu_peripheral.camera_0V7620.Camera0V7620Model attribute) (ScEpTIC.emulator.energy.mcu_peripheral.generic_sensor.GenericADCSensorModel attribute) ceil (class in ScEpTIC.AST.builtins.libs.math) ChangepointChargeDetector (class in ScEpTIC.emulator.custom_devices.FBTC.changepoint_detector) ChangepointChargeDetectorLogic (class in ScEpTIC.emulator.custom_devices.FBTCLogicOnly.changepoint_detector) ChangePointDetector (class in ScEpTIC.emulator.custom_devices.FBTC.changepoint_detector) ChangePointDetectorLogic (class in ScEpTIC.emulator.custom_devices.FBTCLogicOnly.changepoint_detector) ChangepointDischargeDetector (class in ScEpTIC.emulator.custom_devices.FBTC.changepoint_detector) ChangepointDischargeDetectorLogic (class in ScEpTIC.emulator.custom_devices.FBTCLogicOnly.changepoint_detector) ChargeBoosterEnergyHarvester (class in ScEpTIC.emulator.energy.energy_harvester.charge_booster) check() (ScEpTIC.emulator.timers.timer.Timer method) check_data() (in module ScEpTIC.emulator.memory.utils) check_memory_size() (ScEpTIC.emulator.memory.Memory method) (ScEpTIC.emulator.memory.virtual_ram.VirtualRAM method) check_timers() (ScEpTIC.emulator.timers.timers_manager.TimersManager method) checkpoint_executed() (ScEpTIC.emulator.stats.ScEpTICStats method) checkpoint_restored() (ScEpTIC.emulator.stats.ScEpTICStats method) CheckpointConditionalNormalizer (class in ScEpTIC.AST.transformations.virtual_memory.normalizations.checkpoints.conditionals) CheckpointLoopNormalizer (class in ScEpTIC.AST.transformations.virtual_memory.normalizations.checkpoints.loops)

CheckpointPlacer (class in ScEpTIC.AST.transformations.ratchet.checkpoint_placer) circuit_components (ScEpTIC.emulator.custom_devices.D2VFS.d2vfs_energy_model.D2VFSChangepointDetectorEnergyModel attribute) (ScEpTIC.emulator.custom_devices.FBTC.fbtc_energy_model.FBCTEnergyModel attribute) (ScEpTIC.emulator.custom_devices.HibernusVoltageMonitor.hibernus_energy_model.HibernusEnergyModel attribute) circuit_equivalent_resistance() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) clock_cycle_action (ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_i2c.I2CExternalNVMProtocol attribute) (ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_protocol.ExternalNVMProtocol attribute) (ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_spi.SPIExternalNVMProtocol attribute) collapse_switch_statement() (in module ScEpTIC.llvmir_parser.token_generator) collect_memory_trace (ScEpTIC.emulator.intermittent_executor.interruption_managers.base.InterruptionManager attribute) (ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_locate.LocateMemoryAnomaliesInterruptionManager attribute) collect_memory_trace() (ScEpTIC.emulator.memory.virtual_memory_cell.VirtualMemoryCell method) compare_with_dump() (ScEpTIC.emulator.register_file.register_file.RegisterFile method) CompareOperation (class in ScEpTIC.AST.elements.instructions.other_operations) ComponentVoltageSource (class in ScEpTIC.emulator.energy.options) CompositeMemoryAccessMetadata (class in ScEpTIC.AST.transformations.virtual_memory.elements.memory_access_metadata) ComputationIntervalsManager (class in ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager) compute_registers_usage() (in module ScEpTIC.AST.register_allocation.linear_scan) ConditionalBlock (class in ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block) ConditionalParser (class in ScEpTIC.AST.transformations.virtual_memory.parsers.elements.conditional_parser) ConfigurationException consistency_models (ScEpTIC.emulator.io.input.InputManager attribute) consolidate_memory_operations() (ScEpTIC.AST.transformations.virtual_memory.virtual_memory_transformations.VirtualMemoryTransformations static method) ConversionOperation (class in ScEpTIC.AST.elements.instructions.conversion) convert_bin_to_sint() (ScEpTIC.AST.elements.value.Value static method) convert_bin_to_uint() (ScEpTIC.AST.elements.value.Value static method) convert_dimension() (ScEpTIC.emulator.memory.Memory static method) (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory method) convert_sint_to_bin() (ScEpTIC.AST.elements.value.Value static method) convert_sint_to_sint() (ScEpTIC.AST.elements.value.Value static method) convert_sint_to_uint() (ScEpTIC.AST.elements.value.Value static method) convert_uint_to_bin() (ScEpTIC.AST.elements.value.Value static method) convert_uint_to_sint() (ScEpTIC.AST.elements.value.Value static method) cos (class in ScEpTIC.AST.builtins.libs.math) cosh (class in ScEpTIC.AST.builtins.libs.math) crc16() (in module ScEpTIC.emulator.memory.utils) crc64() (in module ScEpTIC.emulator.memory.utils) crc8() (in module ScEpTIC.emulator.memory.utils) create_checkpoint() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager method) create_dummy_write() (ScEpTIC.AST.transformations.virtual_memory.parsers.memory_tags_parser.MemoryTagsParser method) create_input() (ScEpTIC.emulator.io.input.InputManager class method) create_output() (ScEpTIC.emulator.io.output.OutputManager class method) create_register_file() (in module ScEpTIC.emulator.register_file) create_timer() (ScEpTIC.emulator.timers.timers_manager.TimersManager method) current_instruction (ScEpTIC.emulator.vmstate.VMState property) CustomDevice (class in ScEpTIC.emulator.custom_devices) CustomInstruction (class in ScEpTIC.AST.transformations.base.instructions) CustomLog (class in ScEpTIC.AST.transformations.base.instructions.custom_log) CustomMetricsConfig (class in ScEpTIC.config.custom_metrics_config) CustomMetricsManager (class in ScEpTIC.emulator.custom_metrics_manager) CustomType (class in ScEpTIC.AST.elements.types)

D

D2VFS_ISR (ScEpTIC.emulator.energy.options.OpModeName attribute) D2VFSChangepointDetectorEnergyModel (class in ScEpTIC.emulator.custom_devices.D2VFS.d2vfs_energy_model) D2VFSSystemModel (class in ScEpTIC.emulator.custom_devices.D2VFS) data (ScEpTIC.emulator.energy.mcu_peripheral.cc1101.CC1101Model attribute) (ScEpTIC.emulator.energy.mcu_peripheral.generic_sensor.GenericADCSensorModel attribute) (ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_i2c.I2CExternalNVMProtocol attribute) (ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_spi.SPIExternalNVMProtocol attribute) DataAnomaly (class in ScEpTIC.emulator.intermittent_executor.anomalies) datasheet (ScEpTIC.emulator.energy.mcu_peripheral.SHT85.SHT85 attribute) datasheet_e (ScEpTIC.emulator.energy.mcu_peripheral.SGP40.SGP40 attribute) datasheet_t (ScEpTIC.emulator.energy.mcu_peripheral.SGP40.SGP40 attribute) deallocate() (ScEpTIC.emulator.memory.virtual_global_symbol_table.VirtualGlobalSymbolTable method) (ScEpTIC.emulator.memory.virtual_global_symbol_table_unifier.VirtualGlobalSymbolTableUnifier method) (ScEpTIC.emulator.memory.virtual_heap.VirtualHeap method) (ScEpTIC.emulator.memory.virtual_stack.VirtualStack method) debug_print (class in ScEpTIC.AST.builtins.libs.std) declarations (ScEpTIC.AST.elements.function.Function attribute) default_gst (ScEpTIC.emulator.memory.virtual_global_symbol_table_unifier.VirtualGlobalSymbolTableUnifier property) default_idempotent (ScEpTIC.emulator.io.output.OutputManager attribute) define_builtin() (ScEpTIC.AST.builtins.builtin.Builtin class method) define_input() (ScEpTIC.emulator.io.input.InputSkeleton class method) define_output() (ScEpTIC.emulator.io.output.OutputSkeleton class method) DeprecatedConfig (class in ScEpTIC.config.deprecated_config) diff() (ScEpTIC.emulator.io.output.OutputManager class method) (ScEpTIC.emulator.memory.virtual_global_symbol_table.VirtualGlobalSymbolTable method) (ScEpTIC.emulator.memory.virtual_heap.VirtualHeap method) (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory method) (ScEpTIC.emulator.register_file.physical_register_file.PhysicalRegisterFile method) (ScEpTIC.emulator.register_file.register_file.RegisterFile method)

direct() (ScEpTIC.emulator.register_file.register.Register static method) disable() (ScEpTIC.emulator.io.interrupts_manager.InterruptsManager method) disable_discharge() (ScEpTIC.emulator.energy.buffer.EnergyBufferModel method) disable_firing() (ScEpTIC.emulator.io.interrupts_manager.InterruptsManager method) disable_lpm_precise_ticks() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) disable_stats() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) divide_into_sections() (in module ScEpTIC.llvmir_parser.sections_divider) do_call_post_processing() (ScEpTIC.AST.register_allocation.linear_scan.linear_scan.LinearScanRegisterAllocator method) do_call_pre_processing() (ScEpTIC.AST.register_allocation.linear_scan.linear_scan.LinearScanRegisterAllocator method) do_data_anomaly_check (ScEpTIC.emulator.intermittent_executor.interruption_managers.base.InterruptionManager attribute) (ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_evaluate.EvaluateMemoryAnomaliesInterruptionManager attribute) do_liveness_analysis() (ScEpTIC.AST.register_allocation.linear_scan.linear_scan.LinearScanRegisterAllocator method) do_register_allocation() (ScEpTIC.AST.register_allocation.linear_scan.linear_scan.LinearScanRegisterAllocator method) DUMMY (ScEpTIC.emulator.energy.options.OpModeName attribute) dump() (ScEpTIC.emulator.io.output.OutputManager class method) (ScEpTIC.emulator.memory.virtual_global_symbol_table.VirtualGlobalSymbolTable method) (ScEpTIC.emulator.memory.virtual_heap.VirtualHeap method) (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory method) (ScEpTIC.emulator.register_file.register_file.RegisterFile method) dump_restored() (ScEpTIC.emulator.stats.ScEpTICStats method)

E

elements (ScEpTIC.AST.elements.function.Function attribute) (ScEpTIC.AST.elements.global_var.GlobalVar attribute) (ScEpTIC.AST.elements.metadata.Metadata attribute) (ScEpTIC.AST.elements.types.CustomType attribute) empty() (ScEpTIC.AST.elements.types.Type class method) enable() (ScEpTIC.emulator.io.interrupts_manager.InterruptsManager method) enable_discharge() (ScEpTIC.emulator.energy.buffer.EnergyBufferModel method) enable_firing() (ScEpTIC.emulator.io.interrupts_manager.InterruptsManager method) enable_lpm_precise_ticks() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) ENERGY_BUFFER (ScEpTIC.emulator.energy.options.ComponentVoltageSource attribute) ENERGY_BUFFER_RECHARGE (ScEpTIC.emulator.energy.options.OpModeName attribute) ENERGY_BUFFER_VOLTAGE_THRESHOLD (ScEpTIC.emulator.energy.options.PowerOffCondition attribute) energy_from_I_f() (in module ScEpTIC.emulator.energy.energy_utils) energy_from_I_t() (in module ScEpTIC.emulator.energy.energy_utils) energy_from_R_f() (in module ScEpTIC.emulator.energy.energy_utils) energy_from_R_t() (in module ScEpTIC.emulator.energy.energy_utils) EnergyAnalysis (class in ScEpTIC.analysis.energy.energy_analysis) EnergyAnalysisConfig (class in ScEpTIC.analysis.energy.config) EnergyBufferModel (class in ScEpTIC.emulator.energy.buffer) EnergyHarvesterModel (class in ScEpTIC.emulator.energy.energy_harvester) EnergyMeasureInterruptionManager (class in ScEpTIC.emulator.intermittent_executor.interruption_managers.energy_measure) EnergySourceModel (class in ScEpTIC.emulator.energy.energy_source) EnterMCULPM (class in ScEpTIC.AST.transformations.base.instructions.enter_mcu_lpm) entities (ScEpTIC.AST.transformations.base.instructions.simulate_clock_cycles.SimulateClockCycles attribute) equivalent_resistance() (in module ScEpTIC.emulator.energy.energy_utils) evaluate_reset_condition() (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingReset method) EvaluateMemoryAnomaliesInterruptionManager (class in ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_evaluate) execute_action() (ScEpTIC.emulator.energy.mcu_peripheral.external_nvm.ExternalNVM method)

execute_analysis() (ScEpTIC.emulator.vm.VM method) execute_full_recharge() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) execute_full_refill() (ScEpTIC.emulator.energy.buffer.EnergyBufferModel method) execute_probe_energy_buffer() (ScEpTIC.emulator.energy.state_retention.external_checkpoint.ExternalNVMCheckpointEnergyModel method) (ScEpTIC.emulator.energy.state_retention.internal_checkpoint.InternalNVMCheckpointEnergyModel method) (ScEpTIC.emulator.energy.state_retention.StateRetentionEnergyModel method) execute_restore_state() (ScEpTIC.emulator.energy.state_retention.external_checkpoint.ExternalNVMCheckpointEnergyModel method) (ScEpTIC.emulator.energy.state_retention.internal_checkpoint.InternalNVMCheckpointEnergyModel method) (ScEpTIC.emulator.energy.state_retention.StateRetentionEnergyModel method) execute_save_state() (ScEpTIC.emulator.energy.state_retention.external_checkpoint.ExternalNVMCheckpointEnergyModel method) (ScEpTIC.emulator.energy.state_retention.internal_checkpoint.InternalNVMCheckpointEnergyModel method) (ScEpTIC.emulator.energy.state_retention.StateRetentionEnergyModel method) execute_state_restore() (ScEpTIC.emulator.state_retention_manager.StateRetentionManager method) execute_state_save() (ScEpTIC.emulator.state_retention_manager.StateRetentionManager method) exists() (ScEpTIC.emulator.custom_metrics_manager.CustomMetricsManager method) exitbuiltin (class in ScEpTIC.AST.builtins.libs.std) exp (class in ScEpTIC.AST.builtins.libs.math) expire_old() (ScEpTIC.AST.register_allocation.linear_scan.linear_scan.LinearScanRegisterAllocator method) EXTERNAL_NVM (ScEpTIC.emulator.energy.options.OpModeName attribute) ExternalNVM (class in ScEpTIC.emulator.energy.mcu_peripheral.external_nvm) ExternalNVMCheckpointEnergyModel (class in ScEpTIC.emulator.energy.state_retention.external_checkpoint) ExternalNVMProtocol (class in ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_protocol) ExternalNVMProtocolAction (class in ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_protocol) ExternalNVMState (class in ScEpTIC.emulator.energy.mcu_peripheral.options) extract_function_body() (in module ScEpTIC.llvmir_parser.sections_divider) extract_loop() (ScEpTIC.AST.transformations.virtual_memory.parsers.elements.loop_parser.LoopParser method) extract_prefix_from_address() (ScEpTIC.emulator.memory.Memory static method) extract_type() (in module ScEpTIC.llvmir_parser.instructions_parser.binary_operations) extract_type_and_attributes() (in module ScEpTIC.llvmir_parser.sections_parser.function)

F

fabs (class in ScEpTIC.AST.builtins.libs.math) fancy_dict_keys_to_str() (in module ScEpTIC.tools) fancy_dict_to_str() (in module ScEpTIC.tools) fancy_format() (ScEpTIC.AST.elements.metadata.Metadata static method) fancy_list_to_str() (in module ScEpTIC.tools) FBCTEnergyModel (class in ScEpTIC.emulator.custom_devices.FBTC.fbtc_energy_model) FBTC_ISR (ScEpTIC.emulator.energy.options.OpModeName attribute) FBTCSystemModel (class in ScEpTIC.emulator.custom_devices.FBTC) FBTCSystemModelLogicOnly (class in ScEpTIC.emulator.custom_devices.FBTCLogicOnly) first_basic_block_id (ScEpTIC.AST.elements.function.Function property) FixedVoltageSource (class in ScEpTIC.emulator.energy.energy_source.fixed_voltage_source) flat_composition() (ScEpTIC.AST.elements.types.Type static method) flat_list() (in module ScEpTIC.tools) flatten() (ScEpTIC.AST.transformations.virtual_memory.elements.base_element.BaseASTElement method) (ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block.ConditionalBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method)

flatten_multilevel_list() (in module ScEpTIC.tools) float_to_str() (in module ScEpTIC.emulator.energy.energy_utils) floor (class in ScEpTIC.AST.builtins.libs.math) fmod (class in ScEpTIC.AST.builtins.libs.math) FOLLOW_MCU (ScEpTIC.emulator.energy.mcu_peripheral.options.MCUPeripheralPowerStateBehaviour attribute) force_nvm_reset() (ScEpTIC.emulator.memory.Memory method) force_path_fill (ScEpTIC.AST.transformations.virtual_memory.parsers.elements.conditional_parser.ConditionalParser attribute) force_reset() (ScEpTIC.emulator.memory.virtual_ram.NonVolatileRAM method) free (class in ScEpTIC.AST.builtins.libs.mem) free() (ScEpTIC.emulator.memory.virtual_memory_cell.VirtualMemoryCell method) free_reg() (ScEpTIC.AST.register_allocation.linear_scan.register_pool.RegisterPool method) from_binary() (in module ScEpTIC.emulator.memory.utils) Function (class in ScEpTIC.AST.elements.function) function_def_elements_extractor() (in module ScEpTIC.llvmir_parser.sections_divider)

G

generic_adc_sensor_read (class in ScEpTIC.AST.builtins.libs.sceptic) GenericADCSensorModel (class in ScEpTIC.emulator.energy.mcu_peripheral.generic_sensor) GenericEnergyHarvester (class in ScEpTIC.emulator.energy.energy_harvester.generic) get_action_wait_cycles() (ScEpTIC.emulator.energy.mcu.MCUEnergyModel method) get_adc_state() (ScEpTIC.emulator.energy.mcu.MCUEnergyModel method) get_ADC_wait_cycles() (ScEpTIC.emulator.energy.mcu.MCUEnergyModel method) get_address() (ScEpTIC.emulator.register_file.program_counter.ProgramCounter method) get_address_from_real_address() (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory method) get_address_prefix() (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory method) get_address_symbol() (ScEpTIC.emulator.memory.virtual_global_symbol_table_unifier.VirtualGlobalSymbolTableUnifier method) get_all_instructions_targeting_nvm() (ScEpTIC.AST.transformations.virtual_memory.elements.basic_block.BasicBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block.ConditionalBlock method) get_all_instructions_targeting_nvm_after() (ScEpTIC.AST.transformations.virtual_memory.elements.basic_block.BasicBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block.ConditionalBlock method) get_alloca_regs() (ScEpTIC.AST.transformations.virtual_memory.analysis.registers_usage.RegistersUsage static method) get_analysis() (in module ScEpTIC.analysis) (in module ScEpTIC.analysis.energy.main) (in module ScEpTIC.analysis.min_capacitor_size.main) get_arg() (ScEpTIC.AST.transformations.base.instructions.CustomInstruction method) get_ast() (ScEpTIC.AST.transformations.virtual_memory.parsers.ast_parser.ASTParser method) get_base_memory_tag() (ScEpTIC.AST.transformations.virtual_memory.analysis.memory_usage.MemoryUsage static method) get_basic_blocks() (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method) get_bit_size() (ScEpTIC.emulator.memory.virtual_memory_cell.VirtualMemoryCell method) get_call_ret_mcu_action() (ScEpTIC.analysis.utils.saved_state_calculator.SavedStateCalculator method) get_capacitor_voltage (class in ScEpTIC.AST.builtins.libs.sceptic) get_cell_input_lookup() (ScEpTIC.emulator.memory.Memory method) (ScEpTIC.emulator.memory.virtual_global_symbol_table_unifier.VirtualGlobalSymbolTableUnifier method) (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory method) get_cells_from_address() (ScEpTIC.emulator.memory.Memory method) (ScEpTIC.emulator.memory.virtual_global_symbol_table_unifier.VirtualGlobalSymbolTableUnifier method) (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory method) get_changes() (ScEpTIC.emulator.io.output.OutputManager class method) get_clock_cycles() (ScEpTIC.emulator.energy.mcu.MCUEnergyModel method) get_code_len() (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method) get_collected_signals() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) get_component() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) get_config() (in module ScEpTIC.analysis.energy.config) (in module ScEpTIC.analysis.min_capacitor_size.config) (in module ScEpTIC.AST.transformations.base.config) (in module ScEpTIC.AST.transformations.mementos_memory_map.config) (in module ScEpTIC.AST.transformations.nv_memory_map.config) (in module ScEpTIC.AST.transformations.place_static_frequency_scaling_ops.config) (in module ScEpTIC.AST.transformations.ratchet.config) (in module ScEpTIC.AST.transformations.static_dvfs.config) (in module ScEpTIC.AST.transformations.virtual_memory.config) get_consistency_model() (ScEpTIC.emulator.io.input.InputManager class method) get_consumer_pc() (ScEpTIC.emulator.intermittent_executor.anomalies.LinearAnomaly method) get_content() (ScEpTIC.emulator.memory.virtual_memory_cell.VirtualMemoryCell method) get_current_sample_remaining_time() (ScEpTIC.emulator.energy.energy_source.EnergySourceModel method) (ScEpTIC.emulator.energy.energy_source.fixed_voltage_source.FixedVoltageSource method) (ScEpTIC.emulator.energy.energy_source.synthetic_energy_source.SyntheticEnergySource method) (ScEpTIC.emulator.energy.energy_source.time_series_energy_source.TimeSeriesEnergySource method) get_debug_data_element() (ScEpTIC.emulator.intermittent_executor.anomalies.LinearAnomaly method) get_defs() (ScEpTIC.AST.elements.instruction.Instruction method) (ScEpTIC.AST.elements.instructions.memory_operations.StoreOperation method) (ScEpTIC.AST.elements.value.Value method) get_drained_energy() (ScEpTIC.emulator.custom_devices.D2VFS.d2vfs_energy_model.D2VFSChangepointDetectorEnergyModel method) (ScEpTIC.emulator.custom_devices.FBTC.fbtc_energy_model.FBCTEnergyModel method) (ScEpTIC.emulator.custom_devices.HibernusVoltageMonitor.hibernus_energy_model.HibernusEnergyModel method) (ScEpTIC.emulator.energy.mcu.MCUEnergyModel method) (ScEpTIC.emulator.energy.mcu_peripheral.camera_0V7620.Camera0V7620Model method) (ScEpTIC.emulator.energy.mcu_peripheral.cc1101.CC1101Model method) (ScEpTIC.emulator.energy.mcu_peripheral.generic_sensor.GenericADCSensorModel method) (ScEpTIC.emulator.energy.mcu_peripheral.MCUPeripheral method) (ScEpTIC.emulator.energy.mcu_peripheral.SGP40.SGP40 method) (ScEpTIC.emulator.energy.mcu_peripheral.SHT85.SHT85 method) (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) (ScEpTIC.emulator.energy.voltage_drawner.VoltageDrawner method) (ScEpTIC.emulator.energy.voltage_regulator.VoltageRegulatorModel method) get_elapsed_ticks() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) get_elapsed_time() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) get_element() (ScEpTIC.emulator.intermittent_executor.anomalies.LinearAnomaly method) get_element_metadata() (in module ScEpTIC.llvmir_parser.sections_parser.metadata) get_elements_lines() (in module ScEpTIC.llvmir_parser.sections_divider) get_energy() (ScEpTIC.emulator.energy.buffer.EnergyBufferModel method) get_energy_charge() (ScEpTIC.emulator.energy.buffer.capacitor.CapacitorModel method) (ScEpTIC.emulator.energy.buffer.EnergyBufferModel method) get_equivalent_resistance() (ScEpTIC.emulator.energy.energy_harvester.EnergyHarvesterModel method) get_external_nvm() (ScEpTIC.emulator.energy.mcu.MCUEnergyModel method) get_firing_interrupt() (ScEpTIC.emulator.io.interrupts_manager.InterruptsManager method) get_flatten_ast() (ScEpTIC.AST.transformations.virtual_memory.parsers.ast_parser.ASTParser method) get_found_anomalies() (ScEpTIC.emulator.vm.VM method) get_frequency() (ScEpTIC.emulator.energy.mcu.MCUEnergyModel method) get_function_attributes_group() (in module ScEpTIC.llvmir_parser.sections_parser.function) get_function_max_reg_usage() (ScEpTIC.AST.elements.instructions.other_operations.CallOperation method) get_function_names() (ScEpTIC.AST.transformations.virtual_memory.parsers.ast_parser.ASTParser method) get_ignore() (ScEpTIC.AST.elements.function.Function method) (ScEpTIC.AST.elements.instruction.Instruction method) (ScEpTIC.AST.elements.instructions.memory_operations.AllocaOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.LoadOperation method) get_index_in_context() (in module ScEpTIC.tools) get_index_of_closed_par() (in module ScEpTIC.tools) get_indexes_of_matching_tokens() (in module ScEpTIC.tools) get_input_lookup() (ScEpTIC.AST.elements.instruction.Instruction method) (ScEpTIC.AST.elements.instructions.binary_operation.BinaryOperation method) (ScEpTIC.AST.elements.instructions.conversion.ConversionOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.AllocaOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.GetElementPointerOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.LoadOperation method) (ScEpTIC.AST.elements.instructions.other_operations.CompareOperation method) (ScEpTIC.AST.elements.instructions.other_operations.PhiOperation method) (ScEpTIC.AST.elements.instructions.other_operations.SelectOperation method) (ScEpTIC.AST.elements.value.Value method) (ScEpTIC.emulator.memory.virtual_memory_cell.VirtualMemoryCell method) (ScEpTIC.emulator.register_file.physical_register_file.PhysicalRegisterFile method) (ScEpTIC.emulator.register_file.register_file.RegisterFile method) get_input_value() (ScEpTIC.emulator.io.input.InputManager class method) get_instruction_from_pc() (ScEpTIC.emulator.vmstate.VMState method) get_instruction_id() (ScEpTIC.AST.elements.function.Function method) get_instruction_type() (ScEpTIC.AST.transformations.base.instructions.simulate_clock_cycles.SimulateClockCycles method) get_interruption_manager() (in module ScEpTIC.emulator.intermittent_executor.interruption_managers) get_isr_call() (ScEpTIC.emulator.io.interrupts_manager.InterruptsManager method) get_label() (ScEpTIC.AST.transformations.virtual_memory.elements.base_element.BaseASTElement method) (ScEpTIC.AST.transformations.virtual_memory.elements.basic_block.BasicBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block.ConditionalBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method) get_labels() (ScEpTIC.AST.transformations.virtual_memory.elements.base_element.BaseASTElement method) (ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block.ConditionalBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method) get_list_apex_boundaries() (in module ScEpTIC.tools) get_list_boundaries() (in module ScEpTIC.tools) get_load_address() (ScEpTIC.AST.elements.instructions.memory_operations.LoadOperation method) get_lpm_time() (ScEpTIC.AST.transformations.base.instructions.enter_mcu_lpm.EnterMCULPM method) get_LPM_wait_cycles() (ScEpTIC.emulator.energy.mcu.MCUEnergyModel method) get_max_voltage() (ScEpTIC.emulator.energy.buffer.EnergyBufferModel method) get_mcu_clock_cycles (class in ScEpTIC.AST.builtins.libs.sceptic) get_mcu_cycle_time() (ScEpTIC.emulator.energy.mcu.MCUEnergyModel method) get_mcu_state() (ScEpTIC.emulator.energy.mcu.MCUEnergyModel method) get_mcu_time (class in ScEpTIC.AST.builtins.libs.sceptic) get_mcu_time_us (class in ScEpTIC.AST.builtins.libs.sceptic) get_measured_idempotency() (ScEpTIC.emulator.io.output.OutputManager class method) get_memory_access_mcu_action() (ScEpTIC.analysis.utils.saved_state_calculator.SavedStateCalculator method) get_memory_address() (ScEpTIC.AST.elements.instructions.memory_operations.LoadOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.StoreOperation method) get_memory_composition() (ScEpTIC.AST.elements.types.CustomType method) (ScEpTIC.AST.elements.types.Type method) get_memory_tag_first_reads_writes() (ScEpTIC.AST.transformations.virtual_memory.elements.basic_block.BasicBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block.ConditionalBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method) get_memory_tag_last_reads_writes() (ScEpTIC.AST.transformations.virtual_memory.elements.basic_block.BasicBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block.ConditionalBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method) get_memory_tag_reads() (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method) get_memory_tag_writes() (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method) get_memory_usage_list() (ScEpTIC.AST.transformations.virtual_memory.analysis.memory_usage.MemoryUsage static method) get_memory_uses() (ScEpTIC.AST.elements.value.Value method) get_metadata_body() (in module ScEpTIC.llvmir_parser.sections_parser.metadata) get_metadata_body_arg_list() (in module ScEpTIC.llvmir_parser.sections_parser.metadata) get_metadata_right_side() (in module ScEpTIC.llvmir_parser.sections_parser.metadata) get_min_v() (ScEpTIC.emulator.energy.mcu.MCUEnergyModel method) (ScEpTIC.emulator.energy.mcu_peripheral.external_nvm.ExternalNVM method) get_name() (ScEpTIC.emulator.custom_metrics_manager.CustomMetricsManager method) get_name_from_computation_interval_id() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager static method) get_nested_loops() (ScEpTIC.AST.transformations.virtual_memory.elements.basic_block.BasicBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block.ConditionalBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method) get_next_labels() (ScEpTIC.AST.transformations.virtual_memory.elements.base_element.BaseASTElement method) get_nominal_frequency() (ScEpTIC.emulator.energy.mcu.MCUEnergyModel method) get_nominal_size() (ScEpTIC.emulator.energy.buffer.capacitor.CapacitorModel method) (ScEpTIC.emulator.energy.buffer.EnergyBufferModel method) get_NVM_wait_cycles() (ScEpTIC.emulator.energy.mcu.MCUEnergyModel method) get_observation_info() (ScEpTIC.emulator.vm.VM method) get_operation_ticks() (ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_i2c.I2CExternalNVMProtocol method) (ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_protocol.ExternalNVMProtocol method) (ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_spi.SPIExternalNVMProtocol method) get_ordered_computation_interval() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager method) get_ordered_flatten_computation_interval() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager method) get_output_profiling_info() (ScEpTIC.emulator.vm.VM method) get_output_val() (ScEpTIC.emulator.io.output.OutputSkeleton method) get_outside_frame_read_volatile() (ScEpTIC.AST.transformations.virtual_memory.analysis.memory_usage.MemoryUsage static method) get_pc_str_from_address() (ScEpTIC.emulator.register_file.program_counter.ProgramCounter method) get_power_state_events() (ScEpTIC.emulator.energy.mcu.MCUEnergyModel method) (ScEpTIC.emulator.energy.mcu_peripheral.external_nvm.ExternalNVM method) (ScEpTIC.emulator.energy.mcu_peripheral.MCUPeripheral method) (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) get_previous_labels() (ScEpTIC.AST.transformations.virtual_memory.elements.base_element.BaseASTElement method) get_producer_pc() (ScEpTIC.emulator.intermittent_executor.anomalies.LinearAnomaly method) get_profiling_info() (ScEpTIC.emulator.vm.VM method) get_real_address() (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory method) get_real_next_prev() (ScEpTIC.AST.transformations.virtual_memory.elements.base_element.BaseASTElement method) get_reg() (ScEpTIC.AST.register_allocation.linear_scan.register_pool.RegisterPool method) get_register_allocator() (in module ScEpTIC.AST.register_allocation) get_regs_first_use_def() (ScEpTIC.AST.transformations.virtual_memory.analysis.registers_usage.RegistersUsage static method) get_result() (ScEpTIC.analysis.base_analysis.ScEpTICAnalysis method) (ScEpTIC.analysis.energy.energy_analysis.EnergyAnalysis method) (ScEpTIC.analysis.min_capacitor_size.min_capacitor_size_analysis.MinCapacitorSizeAnalysis method) (ScEpTIC.emulator.custom_metrics_manager.CustomMetricsManager method)

get_run_info() (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingLog method) get_saved_registers() (ScEpTIC.analysis.utils.saved_state_calculator.SavedStateCalculator method) get_signals() (ScEpTIC.emulator.custom_devices.CustomDevice method) (ScEpTIC.emulator.custom_devices.D2VFS.D2VFSSystemModel method) (ScEpTIC.emulator.custom_devices.FBTC.FBTCSystemModel method) (ScEpTIC.emulator.custom_devices.FBTCLogicOnly.FBTCSystemModelLogicOnly method) (ScEpTIC.emulator.custom_devices.HibernusVoltageMonitor.HibernusVoltageMonitor method) get_signals_strings() (ScEpTIC.emulator.custom_devices.CustomDevice method) (ScEpTIC.emulator.custom_devices.D2VFS.D2VFSSystemModel method) (ScEpTIC.emulator.custom_devices.FBTC.FBTCSystemModel method) (ScEpTIC.emulator.custom_devices.FBTCLogicOnly.FBTCSystemModelLogicOnly method) (ScEpTIC.emulator.custom_devices.HibernusVoltageMonitor.HibernusVoltageMonitor method) get_simulation_data() (ScEpTIC.AST.transformations.base.instructions.simulate_clock_cycles.SimulateClockCycles method) get_simulation_time (class in ScEpTIC.AST.builtins.libs.sceptic) get_simulation_time() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) get_size() (ScEpTIC.emulator.energy.buffer.capacitor.CapacitorModel method) (ScEpTIC.emulator.energy.buffer.EnergyBufferModel method) get_source_file_name() (in module ScEpTIC.llvmir_parser.sections_parser.headers) get_specific_attr_parser() (in module ScEpTIC.llvmir_parser.instructions_parser.binary_operations) get_state() (ScEpTIC.emulator.energy.mcu_peripheral.external_nvm.ExternalNVM method) get_stats() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) get_store_address() (ScEpTIC.AST.elements.instructions.memory_operations.StoreOperation method) get_supplied_energy() (ScEpTIC.emulator.energy.voltage_regulator.VoltageRegulatorModel method) get_symbol_address() (ScEpTIC.emulator.memory.virtual_global_symbol_table_unifier.VirtualGlobalSymbolTableUnifier method) get_symbol_from_address() (ScEpTIC.emulator.memory.virtual_global_symbol_table.VirtualGlobalSymbolTable method) get_symbols_from_file() (in module ScEpTIC.llvmir_parser.token_generator) get_symbols_from_line() (in module ScEpTIC.llvmir_parser.token_generator) get_target_datalayout() (in module ScEpTIC.llvmir_parser.sections_parser.headers) get_target_triple() (in module ScEpTIC.llvmir_parser.sections_parser.headers) get_time() (ScEpTIC.emulator.energy.mcu.MCUEnergyModel method) (ScEpTIC.emulator.energy.timekeeper.TimekeeperModel method) get_transmission_cycles() (ScEpTIC.emulator.energy.mcu_peripheral.cc1101.CC1101Model method) get_type() (ScEpTIC.emulator.intermittent_executor.anomalies.DataAnomaly method) (ScEpTIC.emulator.intermittent_executor.anomalies.InputPolicyAnomaly method) (ScEpTIC.emulator.intermittent_executor.anomalies.MemoryAccessAnomaly method) (ScEpTIC.emulator.intermittent_executor.anomalies.MemoryMapAnomaly method) (ScEpTIC.emulator.intermittent_executor.anomalies.OutputAnomaly method) (ScEpTIC.emulator.intermittent_executor.anomalies.StackARAnomaly method) (ScEpTIC.emulator.intermittent_executor.anomalies.WARAnomaly method) get_type_from_virtual_reg() (ScEpTIC.AST.elements.instructions.other_operations.CallOperation method) get_unaligned_cells() (in module ScEpTIC.AST.builtins.libs.llvm) get_unique_volatile_elements() (ScEpTIC.AST.transformations.virtual_memory.analysis.memory_usage.MemoryUsage static method) get_usable_energy() (ScEpTIC.emulator.energy.buffer.EnergyBufferModel method) get_usable_voltage() (ScEpTIC.emulator.energy.buffer.EnergyBufferModel method) get_used_energy (class in ScEpTIC.AST.builtins.libs.sceptic) get_used_energy() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) get_used_size() (ScEpTIC.emulator.memory.virtual_global_symbol_table.VirtualGlobalSymbolTable method) (ScEpTIC.emulator.memory.virtual_heap.VirtualHeap method) (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory method) get_uses() (ScEpTIC.AST.builtins.builtin.Builtin method) (ScEpTIC.AST.elements.instruction.Instruction method) (ScEpTIC.AST.elements.instructions.binary_operation.BinaryOperation method) (ScEpTIC.AST.elements.instructions.conversion.ConversionOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.AllocaOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.GetElementPointerOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.LoadOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.StoreOperation method) (ScEpTIC.AST.elements.instructions.other_operations.CallOperation method) (ScEpTIC.AST.elements.instructions.other_operations.CompareOperation method) (ScEpTIC.AST.elements.instructions.other_operations.PhiOperation method) (ScEpTIC.AST.elements.instructions.other_operations.SelectOperation method) (ScEpTIC.AST.elements.instructions.termination_instructions.BranchOperation method) (ScEpTIC.AST.elements.instructions.termination_instructions.ReturnOperation method) (ScEpTIC.AST.elements.instructions.termination_instructions.SwitchOperation method) (ScEpTIC.AST.elements.value.Value method) (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingChangeInputVal method) (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingLog method) (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingReset method) get_val() (ScEpTIC.AST.builtins.builtin.Builtin method) (ScEpTIC.AST.builtins.libs.llvm.memcpy method) (ScEpTIC.AST.builtins.libs.llvm.memmove method) (ScEpTIC.AST.builtins.libs.llvm.memset method) (ScEpTIC.AST.builtins.libs.llvm.msp430_dma_word_copy method) (ScEpTIC.AST.builtins.libs.math.abs method) (ScEpTIC.AST.builtins.libs.math.acos method) (ScEpTIC.AST.builtins.libs.math.asin method) (ScEpTIC.AST.builtins.libs.math.atan method) (ScEpTIC.AST.builtins.libs.math.atan2 method) (ScEpTIC.AST.builtins.libs.math.ceil method) (ScEpTIC.AST.builtins.libs.math.cos method) (ScEpTIC.AST.builtins.libs.math.cosh method) (ScEpTIC.AST.builtins.libs.math.exp method) (ScEpTIC.AST.builtins.libs.math.fabs method) (ScEpTIC.AST.builtins.libs.math.floor method) (ScEpTIC.AST.builtins.libs.math.fmod method) (ScEpTIC.AST.builtins.libs.math.log method) (ScEpTIC.AST.builtins.libs.math.log10 method) (ScEpTIC.AST.builtins.libs.math.math_max method) (ScEpTIC.AST.builtins.libs.math.math_min method) (ScEpTIC.AST.builtins.libs.math.pow method) (ScEpTIC.AST.builtins.libs.math.sin method) (ScEpTIC.AST.builtins.libs.math.sinh method) (ScEpTIC.AST.builtins.libs.math.sqrt method) (ScEpTIC.AST.builtins.libs.math.tan method) (ScEpTIC.AST.builtins.libs.math.tanh method) (ScEpTIC.AST.builtins.libs.mem.calloc method) (ScEpTIC.AST.builtins.libs.mem.free method) (ScEpTIC.AST.builtins.libs.mem.malloc method) (ScEpTIC.AST.builtins.libs.mem.realloc method) (ScEpTIC.AST.builtins.libs.sceptic.adc_get_data method) (ScEpTIC.AST.builtins.libs.sceptic.adc_off method) (ScEpTIC.AST.builtins.libs.sceptic.adc_on method) (ScEpTIC.AST.builtins.libs.sceptic.adc_read method) (ScEpTIC.AST.builtins.libs.sceptic.camera_read_data method) (ScEpTIC.AST.builtins.libs.sceptic.cc1101_set_state method) (ScEpTIC.AST.builtins.libs.sceptic.cc1101_transmit method) (ScEpTIC.AST.builtins.libs.sceptic.generic_adc_sensor_read method) (ScEpTIC.AST.builtins.libs.sceptic.get_capacitor_voltage method) (ScEpTIC.AST.builtins.libs.sceptic.get_mcu_clock_cycles method) (ScEpTIC.AST.builtins.libs.sceptic.get_mcu_time method) (ScEpTIC.AST.builtins.libs.sceptic.get_mcu_time_us method) (ScEpTIC.AST.builtins.libs.sceptic.get_simulation_time method) (ScEpTIC.AST.builtins.libs.sceptic.get_used_energy method) (ScEpTIC.AST.builtins.libs.sceptic.reset_simulation_time method) (ScEpTIC.AST.builtins.libs.sceptic.reset_used_energy method) (ScEpTIC.AST.builtins.libs.sceptic.set_capacitor_voltage method) (ScEpTIC.AST.builtins.libs.sceptic.set_mcu_power_on_voltage method) (ScEpTIC.AST.builtins.libs.sceptic.set_mcu_time method) (ScEpTIC.AST.builtins.libs.sceptic.set_mcu_time_us method) (ScEpTIC.AST.builtins.libs.sceptic.temperature_read_data method) (ScEpTIC.AST.builtins.libs.sceptic.timekeeper_get_time method) (ScEpTIC.AST.builtins.libs.sceptic.timekeeper_get_time_us method) (ScEpTIC.AST.builtins.libs.sceptic.voc_read_data method) (ScEpTIC.AST.builtins.libs.std.debug_print method) (ScEpTIC.AST.builtins.libs.std.exitbuiltin method) (ScEpTIC.AST.builtins.libs.std.memcmp method) (ScEpTIC.AST.builtins.libs.std.randombuiltin method) (ScEpTIC.AST.builtins.libs.std.srandombuiltin method) (ScEpTIC.AST.builtins.libs.std.strlen method) (ScEpTIC.AST.builtins.libs.std.timebuiltin method) (ScEpTIC.AST.elements.instructions.binary_operation.BinaryOperation method) (ScEpTIC.AST.elements.instructions.conversion.ConversionOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.GetElementPointerOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.LoadOperation method) (ScEpTIC.AST.elements.instructions.other_operations.CompareOperation method) (ScEpTIC.AST.elements.instructions.other_operations.PhiOperation method) (ScEpTIC.AST.elements.instructions.other_operations.SelectOperation method) (ScEpTIC.AST.elements.value.Value method) (ScEpTIC.AST.register_allocation.linear_scan.register_operations.RestoreRegistersOperation method) (ScEpTIC.AST.register_allocation.linear_scan.register_operations.SaveRegistersOperation method) (ScEpTIC.AST.transformations.base.instructions.CustomInstruction method) (ScEpTIC.AST.transformations.place_static_frequency_scaling_ops.scaling_instructions.StaticScalingInstruction method) (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingChangeInputVal method) (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingLog method) (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingReset method) (ScEpTIC.emulator.io.input.InputSkeleton method) (ScEpTIC.emulator.io.output.OutputSkeleton method) get_value() (ScEpTIC.emulator.energy.mcu.lookup_tables.LookupTable method) get_virtual_memory_mcu_action() (ScEpTIC.analysis.utils.saved_state_calculator.SavedStateCalculator method) get_visual_dump() (ScEpTIC.emulator.memory.virtual_global_symbol_table.VirtualGlobalSymbolTable method) (ScEpTIC.emulator.memory.virtual_global_symbol_table_unifier.VirtualGlobalSymbolTableUnifier method) (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory method) (ScEpTIC.emulator.register_file.physical_register_file.PhysicalRegisterFile method) (ScEpTIC.emulator.register_file.register_file.RegisterFile method) (ScEpTIC.emulator.vm.VM method) get_vm_state_diff() (ScEpTIC.emulator.state_retention_manager.StateRetentionManager method) get_vm_state_diff_elements() (ScEpTIC.emulator.state_retention_manager.StateRetentionManager method) get_volatile_elements_after_calls() (ScEpTIC.AST.transformations.virtual_memory.analysis.memory_usage.MemoryUsage static method) get_volatile_elements_before_calls() (ScEpTIC.AST.transformations.virtual_memory.analysis.memory_usage.MemoryUsage static method) get_voltage() (ScEpTIC.emulator.energy.buffer.EnergyBufferModel method) (ScEpTIC.emulator.energy.energy_harvester.EnergyHarvesterModel method) (ScEpTIC.emulator.energy.energy_harvester.voltage_doubler.VoltageDoublerEnergyHarvester method) (ScEpTIC.emulator.energy.energy_source.EnergySourceModel method) (ScEpTIC.emulator.energy.energy_source.fixed_voltage_source.FixedVoltageSource method) (ScEpTIC.emulator.energy.energy_source.synthetic_energy_source.SyntheticEnergySource method) (ScEpTIC.emulator.energy.mcu.MCUEnergyModel method) (ScEpTIC.emulator.energy.voltage_regulator.NoRegulator method) (ScEpTIC.emulator.energy.voltage_regulator.StepDownVoltageRegulatorModel method) (ScEpTIC.emulator.energy.voltage_regulator.StepUpVoltageRegulatorModel method) (ScEpTIC.emulator.energy.voltage_source.VoltageSource method) get_voltage_intervals() (ScEpTIC.emulator.energy.energy_harvester.charge_booster.ChargeBoosterEnergyHarvester method) (ScEpTIC.emulator.energy.energy_harvester.EnergyHarvesterModel method) (ScEpTIC.emulator.energy.energy_harvester.voltage_doubler.VoltageDoublerEnergyHarvester method) (ScEpTIC.emulator.energy.energy_source.EnergySourceModel method) (ScEpTIC.emulator.energy.energy_source.fixed_voltage_source.FixedVoltageSource method) (ScEpTIC.emulator.energy.energy_source.synthetic_energy_source.SyntheticEnergySource method) (ScEpTIC.emulator.energy.energy_source.time_series_energy_source.TimeSeriesEnergySource method) get_wait_cycles() (ScEpTIC.emulator.energy.mcu_peripheral.cc1101.CC1101Model method) (ScEpTIC.emulator.energy.mcu_peripheral.external_nvm.ExternalNVM method) get_wakeup_time() (ScEpTIC.emulator.energy.mcu_peripheral.cc1101.CC1101Model method) GetElementPointerOperation (class in ScEpTIC.AST.elements.instructions.memory_operations) GlobalVar (class in ScEpTIC.AST.elements.global_var)

H

handle_llvm_dbg() (in module ScEpTIC.llvmir_parser.sections_parser.function) handle_stop_request() (ScEpTIC.emulator.vmstate.VMState method) handler (ScEpTIC.AST.transformations.base.instructions.custom_log.CustomLog attribute) has_backward_jump() (ScEpTIC.AST.transformations.virtual_memory.elements.base_element.BaseASTElement method) has_nested_loop() (ScEpTIC.AST.transformations.virtual_memory.elements.base_element.BaseASTElement method) (ScEpTIC.AST.transformations.virtual_memory.elements.basic_block.BasicBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block.ConditionalBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method)

has_stack_activation_record_anomalies() (ScEpTIC.emulator.intermittent_executor.interruption_managers.base.InterruptionManager method) has_symbol() (ScEpTIC.emulator.memory.virtual_global_symbol_table.VirtualGlobalSymbolTable method) (ScEpTIC.emulator.memory.virtual_global_symbol_table_unifier.VirtualGlobalSymbolTableUnifier method) header (ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_i2c.I2CExternalNVMProtocol attribute) HEADER_BYTES (ScEpTIC.emulator.energy.mcu_peripheral.cc1101.CC1101Model attribute) heap (ScEpTIC.emulator.memory.Memory property) heap_memory_traces (ScEpTIC.emulator.intermittent_executor.anomalies.LinearAnomaly attribute) HibernusEnergyModel (class in ScEpTIC.emulator.custom_devices.HibernusVoltageMonitor.hibernus_energy_model) HibernusVoltageMonitor (class in ScEpTIC.emulator.custom_devices.HibernusVoltageMonitor)

I

I2C_ACCESS (ScEpTIC.emulator.energy.mcu.options.MCUClockCycleAction attribute) I2CExternalNVMProtocol (class in ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_i2c) IdealStepDownRegulator (class in ScEpTIC.emulator.energy.voltage_regulator.ideal_regulator) IdealStepUpRegulator (class in ScEpTIC.emulator.energy.voltage_regulator.ideal_regulator) IDEMPOTENT (ScEpTIC.emulator.io.output.OutputManager attribute) identify() (ScEpTIC.analysis.utils.max_cycles_between_save_state_identifier.MaxCyclesBetweenStateSaveIdentifier method) (ScEpTIC.analysis.utils.max_state_identifier.MaxStateIdentifier method) (ScEpTIC.analysis.utils.min_capacitor_size_identifier.MinCapacitorSizeIdentifier method) (ScEpTIC.analysis.utils.voltage_thresholds_identifier.VoltageThresholdsIdentifier method) identify_conditional() (ScEpTIC.AST.transformations.virtual_memory.parsers.elements.conditional_parser.ConditionalParser method) identify_conditionals() (ScEpTIC.AST.transformations.virtual_memory.parsers.elements.conditional_parser.ConditionalParser method) identify_loop() (ScEpTIC.AST.transformations.virtual_memory.parsers.elements.loop_parser.LoopParser method) identify_loops() (ScEpTIC.AST.transformations.virtual_memory.parsers.elements.loop_parser.LoopParser method) identify_nvm_instruction() (ScEpTIC.AST.transformations.virtual_memory.analysis.nvm_instructions_identifier.NVMInstructionsIdentifier static method) identify_nvm_instructions_to_consolidate() (ScEpTIC.AST.transformations.virtual_memory.analysis.nvm_instructions_identifier.NVMInstructionsIdentifier static method) identify_uncertain_instructions() (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method) ignore (ScEpTIC.AST.elements.instructions.other_operations.CallOperation attribute) increment() (ScEpTIC.emulator.custom_metrics_manager.CustomMetricsManager method) increment_energy() (ScEpTIC.emulator.energy.buffer.EnergyBufferModel method) increment_pc() (ScEpTIC.emulator.register_file.program_counter.ProgramCounter method) increment_voltage() (ScEpTIC.emulator.energy.buffer.EnergyBufferModel method) IncrementCustomMetric (class in ScEpTIC.AST.transformations.base.instructions.increment_custom_metric) inf_depth_lst_flat() (in module ScEpTIC.tools) init (ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_i2c.I2CExternalNVMProtocol attribute) (ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_spi.SPIExternalNVMProtocol attribute) init() (in module ScEpTIC) (ScEpTIC.emulator.custom_devices.CustomDevice method) (ScEpTIC.emulator.custom_devices.D2VFS.D2VFSSystemModel method) (ScEpTIC.emulator.custom_devices.FBTC.FBTCSystemModel method) (ScEpTIC.emulator.custom_devices.FBTCLogicOnly.FBTCSystemModelLogicOnly method) (ScEpTIC.emulator.custom_devices.HibernusVoltageMonitor.HibernusVoltageMonitor method) (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) init_code() (ScEpTIC.emulator.vmstate.VMState method) init_custom_signals() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) init_gst() (ScEpTIC.emulator.vmstate.VMState method) InitializationException input_functions (ScEpTIC.emulator.io.input.InputSkeleton attribute) input_lookup_enabled (ScEpTIC.emulator.intermittent_executor.interruption_managers.base.InterruptionManager attribute) (ScEpTIC.emulator.intermittent_executor.interruption_managers.input.InputInterruptionManager attribute) input_name (ScEpTIC.emulator.io.input.InputSkeleton attribute) input_names (ScEpTIC.emulator.io.input.InputSkeleton attribute) input_table (ScEpTIC.emulator.io.input.InputManager attribute) InputInterruptionManager (class in ScEpTIC.emulator.intermittent_executor.interruption_managers.input) InputManager (class in ScEpTIC.emulator.io.input) InputPolicyAnomaly (class in ScEpTIC.emulator.intermittent_executor.anomalies) inputs (ScEpTIC.emulator.io.input.InputManager attribute) InputSkeleton (class in ScEpTIC.emulator.io.input) insert_dummy_writes() (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method) instert_new_line_every() (in module ScEpTIC.tools) Instruction (class in ScEpTIC.AST.elements.instruction) instruction_executed() (ScEpTIC.emulator.stats.ScEpTICStats method) instruction_type (ScEpTIC.AST.elements.instruction.Instruction property) intermittent_execution_required() (ScEpTIC.emulator.intermittent_executor.interruption_managers.base.InterruptionManager method) (ScEpTIC.emulator.intermittent_executor.interruption_managers.energy_measure.EnergyMeasureInterruptionManager method) (ScEpTIC.emulator.intermittent_executor.interruption_managers.input.InputInterruptionManager method) (ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_evaluate.EvaluateMemoryAnomaliesInterruptionManager method) (ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_locate.LocateMemoryAnomaliesInterruptionManager method) (ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_size.MemorySizeIdentifier method) (ScEpTIC.emulator.intermittent_executor.interruption_managers.output.OutputInterruptionManager method) (ScEpTIC.emulator.intermittent_executor.interruption_managers.profiling.ProfilingInterruptionManager method)

InternalNVMCheckpointEnergyModel (class in ScEpTIC.emulator.energy.state_retention.internal_checkpoint) interrupt_firing() (ScEpTIC.emulator.io.interrupts_manager.InterruptsManager method) InterruptionManager (class in ScEpTIC.emulator.intermittent_executor.interruption_managers.base) InterruptsConfig (class in ScEpTIC.config.interrupts_config) InterruptsDisable (class in ScEpTIC.AST.transformations.base.instructions.interrupts) InterruptsDisableFiring (class in ScEpTIC.AST.transformations.base.instructions.interrupts) InterruptsEnable (class in ScEpTIC.AST.transformations.base.instructions.interrupts) InterruptsEnableFiring (class in ScEpTIC.AST.transformations.base.instructions.interrupts) InterruptsManager (class in ScEpTIC.emulator.io.interrupts_manager) is_aggregate_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.aggregate_operations) is_attributes_group() (in module ScEpTIC.llvmir_parser.sections_parser.attributes_groups) is_binary_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.binary_operations) is_bitwise() (in module ScEpTIC.llvmir_parser.instructions_parser.binary_operations) is_branch_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions) is_call_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.other_operations) is_conditional_branch_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions) is_conversion_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.conversion_operations) is_custom_type() (in module ScEpTIC.llvmir_parser.sections_parser.custom_types) is_function_declaration() (in module ScEpTIC.llvmir_parser.sections_parser.function) is_function_definition() (in module ScEpTIC.llvmir_parser.sections_parser.function) is_global_var_def() (in module ScEpTIC.llvmir_parser.sections_parser.global_vars) is_header() (in module ScEpTIC.llvmir_parser.sections_parser.headers) is_header_section() (in module ScEpTIC.llvmir_parser.sections_parser.headers) is_input (ScEpTIC.emulator.io.input.InputSkeleton attribute) is_isr_running() (ScEpTIC.emulator.io.interrupts_manager.InterruptsManager method) is_label() (in module ScEpTIC.llvmir_parser.sections_parser.function) is_llvm_dbg() (in module ScEpTIC.llvmir_parser.sections_parser.function) is_llvm_string() (ScEpTIC.AST.elements.value.Value method) is_memory_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.memory_operations) is_memory_operation_with_return() (in module ScEpTIC.llvmir_parser.instructions_parser.memory_operations) is_memory_operation_without_return() (in module ScEpTIC.llvmir_parser.instructions_parser.memory_operations) is_metadata() (in module ScEpTIC.llvmir_parser.sections_parser.metadata) is_one_qnan() (ScEpTIC.AST.elements.instructions.other_operations.CompareOperation static method) is_other_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.other_operations) is_qnan() (ScEpTIC.AST.elements.instructions.other_operations.CompareOperation static method) is_ret_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions) is_source_file_name() (in module ScEpTIC.llvmir_parser.sections_parser.headers) is_switch_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions) is_target_datalayout() (in module ScEpTIC.llvmir_parser.sections_parser.headers) is_target_triple() (in module ScEpTIC.llvmir_parser.sections_parser.headers) is_terminator_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions) is_unconditional_branch_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions) is_unreachable_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions) is_valid_cond() (in module ScEpTIC.llvmir_parser.instructions_parser.other_operations) is_valid_initial_val() (in module ScEpTIC.llvmir_parser.sections_parser.global_vars) is_vector_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.vector_operations)

J

JSON (ScEpTIC.analysis.options.AnalysisResultFormat attribute)

jumps_after() (ScEpTIC.AST.transformations.virtual_memory.elements.base_element.BaseASTElement method)

L

label_to_int() (ScEpTIC.AST.transformations.virtual_memory.elements.base_element.BaseASTElement static method) LABELS_DISTANCE (ScEpTIC.AST.transformations.virtual_memory.normalizations.labels_normalizer.LabelsNormalizer attribute) LabelsNormalizer (class in ScEpTIC.AST.transformations.virtual_memory.normalizations.labels_normalizer) LinearAnomaly (class in ScEpTIC.emulator.intermittent_executor.anomalies) LinearScanRegisterAllocator (class in ScEpTIC.AST.register_allocation.linear_scan.linear_scan) link() (ScEpTIC.AST.builtins.builtin.Builtin static method) link_builtins() (in module ScEpTIC.AST.builtins) list_concat_elements() (in module ScEpTIC.tools) list_join() (in module ScEpTIC.tools) list_rebuild() (in module ScEpTIC.tools) list_remove_sequence() (in module ScEpTIC.tools) list_replace_element() (in module ScEpTIC.tools) list_rindex() (in module ScEpTIC.tools) list_sanitize() (in module ScEpTIC.tools) list_sanitize_from_list() (in module ScEpTIC.tools) list_to_string() (in module ScEpTIC.tools) list_to_string_using_boundaries() (in module ScEpTIC.tools) LLVMSyntaxErrorException load() (ScEpTIC.analysis.utils.settings_cache.SettingsCache method) load_libraries() (in module ScEpTIC.AST.builtins)

load_resistance_unset() (ScEpTIC.emulator.energy.energy_source.EnergySourceModel method) (ScEpTIC.emulator.energy.energy_source.time_series_energy_source.TimeSeriesEnergySource method) load_system_defaults() (ScEpTIC.config.ScEpTICConfig method) LoadOperation (class in ScEpTIC.AST.elements.instructions.memory_operations) LocateMemoryAnomaliesInterruptionManager (class in ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_locate) log (class in ScEpTIC.AST.builtins.libs.math) log10 (class in ScEpTIC.AST.builtins.libs.math) LoggingConfig (class in ScEpTIC.config.logging_config) LONG_TERM (ScEpTIC.emulator.io.input.InputManager attribute) LookupTable (class in ScEpTIC.emulator.energy.mcu.lookup_tables) LoopBlock (class in ScEpTIC.AST.transformations.virtual_memory.elements.loop_block) LoopParser (class in ScEpTIC.AST.transformations.virtual_memory.parsers.elements.loop_parser) LPM (ScEpTIC.emulator.energy.mcu.options.MCUPowerState attribute) (ScEpTIC.emulator.energy.options.OpModeName attribute) LPM_ENTER (ScEpTIC.emulator.energy.mcu.options.MCUClockCycleAction attribute) (ScEpTIC.emulator.energy.options.OpModeName attribute) LPM_EXIT (ScEpTIC.emulator.energy.mcu.options.MCUClockCycleAction attribute) (ScEpTIC.emulator.energy.options.OpModeName attribute) LPM_NOP (ScEpTIC.emulator.energy.mcu.options.MCUClockCycleAction attribute) LPM_WAKEUP (ScEpTIC.emulator.energy.mcu.options.MCUPowerState attribute)

M

malloc (class in ScEpTIC.AST.builtins.libs.mem) math_max (class in ScEpTIC.AST.builtins.libs.math) math_min (class in ScEpTIC.AST.builtins.libs.math) MAX20361 (class in ScEpTIC.emulator.energy.voltage_regulator.MAX20361) MaxCyclesBetweenStateSaveIdentifier (class in ScEpTIC.analysis.utils.max_cycles_between_save_state_identifier) MaxStateIdentifier (class in ScEpTIC.analysis.utils.max_state_identifier) MCU_OFF (ScEpTIC.emulator.energy.power_state_event.PowerStateEvent attribute) MCUClockCycleAction (class in ScEpTIC.emulator.energy.mcu.options) MCUEnergyModel (class in ScEpTIC.emulator.energy.mcu) MCUPeripheral (class in ScEpTIC.emulator.energy.mcu_peripheral) MCUPeripheralPowerStateBehaviour (class in ScEpTIC.emulator.energy.mcu_peripheral.options) MCUPowerState (class in ScEpTIC.emulator.energy.mcu.options) measure_idempotency() (ScEpTIC.emulator.io.output.OutputManager class method) measured_idempotency (ScEpTIC.emulator.io.output.OutputManager attribute) mem_type (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory property) memcmp (class in ScEpTIC.AST.builtins.libs.std) memcpy (class in ScEpTIC.AST.builtins.libs.llvm) MementosMemoryMapConfig (class in ScEpTIC.AST.transformations.mementos_memory_map.config) memmove (class in ScEpTIC.AST.builtins.libs.llvm) Memory (class in ScEpTIC.emulator.memory) memory_tick_count (ScEpTIC.AST.elements.instruction.Instruction attribute) (ScEpTIC.AST.elements.instructions.other_operations.CallOperation attribute) (ScEpTIC.AST.elements.instructions.termination_instructions.ReturnOperation attribute) MemoryAccessAnomaly (class in ScEpTIC.emulator.intermittent_executor.anomalies) MemoryAccessMetadata (class in ScEpTIC.AST.transformations.virtual_memory.elements.memory_access_metadata) MemoryAccessTrace (class in ScEpTIC.emulator.memory.memory_access_trace) MemoryConfig (class in ScEpTIC.config.memory_config) MemoryException MemoryInstructionsIdentifier (class in ScEpTIC.AST.transformations.virtual_memory.analysis.memory_instructions_indentifier) MemoryMapAnomaly (class in ScEpTIC.emulator.intermittent_executor.anomalies) MemorySizeIdentifier (class in ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_size) MemoryTagsIdentifier (class in ScEpTIC.AST.transformations.ratchet.memory_tags_identifier) MemoryTagsParser (class in ScEpTIC.AST.transformations.virtual_memory.parsers.memory_tags_parser) MemoryUsage (class in ScEpTIC.AST.transformations.virtual_memory.analysis.memory_usage) memset (class in ScEpTIC.AST.builtins.libs.llvm) merge_cell_after_element() (in module ScEpTIC.tools) merge_input_lookup_data() (in module ScEpTIC.tools) Metadata (class in ScEpTIC.AST.elements.metadata) MinCapacitorSizeAnalysis (class in ScEpTIC.analysis.min_capacitor_size.min_capacitor_size_analysis) MinCapacitorSizeConfig (class in ScEpTIC.analysis.min_capacitor_size.config) MinCapacitorSizeIdentifier (class in ScEpTIC.analysis.utils.min_capacitor_size_identifier) mmu_log_energy_failure() (ScEpTIC.analysis.energy.energy_analysis.EnergyAnalysis method) module ScEpTIC ScEpTIC.analysis ScEpTIC.analysis.base_analysis ScEpTIC.analysis.energy ScEpTIC.analysis.energy.config ScEpTIC.analysis.energy.energy_analysis ScEpTIC.analysis.energy.main ScEpTIC.analysis.min_capacitor_size ScEpTIC.analysis.min_capacitor_size.config ScEpTIC.analysis.min_capacitor_size.main ScEpTIC.analysis.min_capacitor_size.min_capacitor_size_analysis ScEpTIC.analysis.options ScEpTIC.analysis.utils ScEpTIC.analysis.utils.max_cycles_between_save_state_identifier ScEpTIC.analysis.utils.max_state_identifier ScEpTIC.analysis.utils.min_capacitor_size_identifier ScEpTIC.analysis.utils.saved_state_calculator ScEpTIC.analysis.utils.settings_cache ScEpTIC.analysis.utils.voltage_thresholds_identifier ScEpTIC.AST ScEpTIC.AST.builtins ScEpTIC.AST.builtins.builtin ScEpTIC.AST.builtins.libs ScEpTIC.AST.builtins.libs.llvm ScEpTIC.AST.builtins.libs.math ScEpTIC.AST.builtins.libs.mem ScEpTIC.AST.builtins.libs.sceptic ScEpTIC.AST.builtins.libs.std ScEpTIC.AST.builtins.linker ScEpTIC.AST.elements ScEpTIC.AST.elements.function ScEpTIC.AST.elements.global_var ScEpTIC.AST.elements.instruction ScEpTIC.AST.elements.instructions ScEpTIC.AST.elements.instructions.binary_operation ScEpTIC.AST.elements.instructions.conversion ScEpTIC.AST.elements.instructions.memory_operations ScEpTIC.AST.elements.instructions.other_operations ScEpTIC.AST.elements.instructions.termination_instructions ScEpTIC.AST.elements.metadata ScEpTIC.AST.elements.types ScEpTIC.AST.elements.value ScEpTIC.AST.misc ScEpTIC.AST.misc.virtual_memory_enum ScEpTIC.AST.register_allocation ScEpTIC.AST.register_allocation.linear_scan ScEpTIC.AST.register_allocation.linear_scan.linear_scan ScEpTIC.AST.register_allocation.linear_scan.register_operations ScEpTIC.AST.register_allocation.linear_scan.register_pool ScEpTIC.AST.transformations ScEpTIC.AST.transformations.base ScEpTIC.AST.transformations.base.config ScEpTIC.AST.transformations.base.instructions ScEpTIC.AST.transformations.base.instructions.custom_log ScEpTIC.AST.transformations.base.instructions.enter_mcu_lpm ScEpTIC.AST.transformations.base.instructions.increment_custom_metric ScEpTIC.AST.transformations.base.instructions.interrupts ScEpTIC.AST.transformations.base.instructions.print_vm_dump ScEpTIC.AST.transformations.base.instructions.printf ScEpTIC.AST.transformations.base.instructions.simulate_clock_cycles ScEpTIC.AST.transformations.base.instructions.timers ScEpTIC.AST.transformations.base.main ScEpTIC.AST.transformations.mementos_memory_map ScEpTIC.AST.transformations.mementos_memory_map.config ScEpTIC.AST.transformations.mementos_memory_map.main ScEpTIC.AST.transformations.nv_memory_map ScEpTIC.AST.transformations.nv_memory_map.config ScEpTIC.AST.transformations.nv_memory_map.main ScEpTIC.AST.transformations.place_static_frequency_scaling_ops ScEpTIC.AST.transformations.place_static_frequency_scaling_ops.config ScEpTIC.AST.transformations.place_static_frequency_scaling_ops.main ScEpTIC.AST.transformations.place_static_frequency_scaling_ops.scaling_instructions ScEpTIC.AST.transformations.ratchet ScEpTIC.AST.transformations.ratchet.checkpoint_placer ScEpTIC.AST.transformations.ratchet.checkpoint_registers_optimization ScEpTIC.AST.transformations.ratchet.config ScEpTIC.AST.transformations.ratchet.main ScEpTIC.AST.transformations.ratchet.memory_tags_identifier ScEpTIC.AST.transformations.static_dvfs ScEpTIC.AST.transformations.static_dvfs.config ScEpTIC.AST.transformations.static_dvfs.main ScEpTIC.AST.transformations.virtual_memory ScEpTIC.AST.transformations.virtual_memory.analysis ScEpTIC.AST.transformations.virtual_memory.analysis.memory_instructions_indentifier ScEpTIC.AST.transformations.virtual_memory.analysis.memory_usage ScEpTIC.AST.transformations.virtual_memory.analysis.nvm_instructions_identifier ScEpTIC.AST.transformations.virtual_memory.analysis.registers_usage ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager ScEpTIC.AST.transformations.virtual_memory.config ScEpTIC.AST.transformations.virtual_memory.elements ScEpTIC.AST.transformations.virtual_memory.elements.base_element ScEpTIC.AST.transformations.virtual_memory.elements.basic_block ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block ScEpTIC.AST.transformations.virtual_memory.elements.loop_block ScEpTIC.AST.transformations.virtual_memory.elements.memory_access_metadata ScEpTIC.AST.transformations.virtual_memory.main ScEpTIC.AST.transformations.virtual_memory.normalizations ScEpTIC.AST.transformations.virtual_memory.normalizations.checkpoints ScEpTIC.AST.transformations.virtual_memory.normalizations.checkpoints.conditionals ScEpTIC.AST.transformations.virtual_memory.normalizations.checkpoints.loops ScEpTIC.AST.transformations.virtual_memory.normalizations.labels_normalizer ScEpTIC.AST.transformations.virtual_memory.parsers ScEpTIC.AST.transformations.virtual_memory.parsers.ast_parser ScEpTIC.AST.transformations.virtual_memory.parsers.elements ScEpTIC.AST.transformations.virtual_memory.parsers.elements.basic_blocks_parser ScEpTIC.AST.transformations.virtual_memory.parsers.elements.conditional_parser ScEpTIC.AST.transformations.virtual_memory.parsers.elements.loop_parser ScEpTIC.AST.transformations.virtual_memory.parsers.memory_tags_parser ScEpTIC.AST.transformations.virtual_memory.virtual_memory_transformations ScEpTIC.config ScEpTIC.config.analysis_config ScEpTIC.config.ast_transformations_config ScEpTIC.config.base_config ScEpTIC.config.custom_metrics_config ScEpTIC.config.deprecated_config ScEpTIC.config.interrupts_config ScEpTIC.config.logging_config ScEpTIC.config.memory_config ScEpTIC.config.program_config ScEpTIC.config.register_allocation_config ScEpTIC.config.register_file_config ScEpTIC.config.result_output_config ScEpTIC.config.state_retention_config ScEpTIC.config.system_defaults ScEpTIC.config.system_defaults.dino ScEpTIC.config.system_defaults.hibernus ScEpTIC.config.system_defaults.mementos ScEpTIC.config.system_defaults.quickrecall ScEpTIC.config.system_defaults.ratchet ScEpTIC.emulator ScEpTIC.emulator.custom_devices ScEpTIC.emulator.custom_devices.D2VFS ScEpTIC.emulator.custom_devices.D2VFS.d2vfs_energy_model ScEpTIC.emulator.custom_devices.FBTC ScEpTIC.emulator.custom_devices.FBTC.changepoint_detector ScEpTIC.emulator.custom_devices.FBTC.fbtc_energy_model ScEpTIC.emulator.custom_devices.FBTCLogicOnly ScEpTIC.emulator.custom_devices.FBTCLogicOnly.changepoint_detector ScEpTIC.emulator.custom_devices.HibernusVoltageMonitor ScEpTIC.emulator.custom_devices.HibernusVoltageMonitor.hibernus_energy_model ScEpTIC.emulator.custom_metrics_manager ScEpTIC.emulator.energy ScEpTIC.emulator.energy.buffer ScEpTIC.emulator.energy.buffer.capacitor ScEpTIC.emulator.energy.energy_harvester ScEpTIC.emulator.energy.energy_harvester.charge_booster ScEpTIC.emulator.energy.energy_harvester.generic ScEpTIC.emulator.energy.energy_harvester.voltage_doubler ScEpTIC.emulator.energy.energy_source ScEpTIC.emulator.energy.energy_source.fixed_voltage_source ScEpTIC.emulator.energy.energy_source.synthetic_energy_source ScEpTIC.emulator.energy.energy_source.time_series_energy_source ScEpTIC.emulator.energy.energy_utils ScEpTIC.emulator.energy.mcu ScEpTIC.emulator.energy.mcu.datasheets ScEpTIC.emulator.energy.mcu.datasheets.msp430fr2355 ScEpTIC.emulator.energy.mcu.datasheets.msp430fr5043 ScEpTIC.emulator.energy.mcu.datasheets.msp430fr5739 ScEpTIC.emulator.energy.mcu.datasheets.msp430fr5969 ScEpTIC.emulator.energy.mcu.datasheets.msp430g2553 ScEpTIC.emulator.energy.mcu.datasheets.msp430g2553_fbtc_utils ScEpTIC.emulator.energy.mcu.datasheets.msp430g2553_fbtc_utils.lookup_table ScEpTIC.emulator.energy.mcu.datasheets.msp430g2553_utils ScEpTIC.emulator.energy.mcu.datasheets.msp430g2553_utils.lookup_table ScEpTIC.emulator.energy.mcu.datasheets.msp430g2553_utils.voltage_lookup_hash ScEpTIC.emulator.energy.mcu.lookup_tables ScEpTIC.emulator.energy.mcu.lookup_tables.msp430g2553 ScEpTIC.emulator.energy.mcu.lookup_tables.msp430g2553_fbtc ScEpTIC.emulator.energy.mcu.msp430fr ScEpTIC.emulator.energy.mcu.msp430g ScEpTIC.emulator.energy.mcu.options ScEpTIC.emulator.energy.mcu_peripheral ScEpTIC.emulator.energy.mcu_peripheral.camera_0V7620 ScEpTIC.emulator.energy.mcu_peripheral.cc1101 ScEpTIC.emulator.energy.mcu_peripheral.datasheets ScEpTIC.emulator.energy.mcu_peripheral.datasheets.MB85RC256V ScEpTIC.emulator.energy.mcu_peripheral.datasheets.MB85RC64V ScEpTIC.emulator.energy.mcu_peripheral.datasheets.MB85RS64V ScEpTIC.emulator.energy.mcu_peripheral.external_nvm ScEpTIC.emulator.energy.mcu_peripheral.generic_sensor ScEpTIC.emulator.energy.mcu_peripheral.options ScEpTIC.emulator.energy.mcu_peripheral.protocol_models ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_i2c ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_protocol ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_spi ScEpTIC.emulator.energy.mcu_peripheral.SGP40 ScEpTIC.emulator.energy.mcu_peripheral.SHT85 ScEpTIC.emulator.energy.options ScEpTIC.emulator.energy.power_state_event ScEpTIC.emulator.energy.state_retention ScEpTIC.emulator.energy.state_retention.external_checkpoint ScEpTIC.emulator.energy.state_retention.internal_checkpoint ScEpTIC.emulator.energy.system_energy_model ScEpTIC.emulator.energy.timekeeper ScEpTIC.emulator.energy.voltage_drawner ScEpTIC.emulator.energy.voltage_regulator ScEpTIC.emulator.energy.voltage_regulator.ideal_regulator ScEpTIC.emulator.energy.voltage_regulator.MAX20361 ScEpTIC.emulator.energy.voltage_regulator.TPS61322 ScEpTIC.emulator.energy.voltage_regulator.TPS62740x ScEpTIC.emulator.energy.voltage_source ScEpTIC.emulator.intermittent_executor ScEpTIC.emulator.intermittent_executor.anomalies ScEpTIC.emulator.intermittent_executor.interruption_managers ScEpTIC.emulator.intermittent_executor.interruption_managers.base ScEpTIC.emulator.intermittent_executor.interruption_managers.energy_measure ScEpTIC.emulator.intermittent_executor.interruption_managers.input ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_evaluate ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_locate ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_size ScEpTIC.emulator.intermittent_executor.interruption_managers.output ScEpTIC.emulator.intermittent_executor.interruption_managers.profiling ScEpTIC.emulator.intermittent_executor.profiling ScEpTIC.emulator.io ScEpTIC.emulator.io.input ScEpTIC.emulator.io.interrupts_manager ScEpTIC.emulator.io.output ScEpTIC.emulator.memory ScEpTIC.emulator.memory.memory_access_trace ScEpTIC.emulator.memory.utils ScEpTIC.emulator.memory.virtual_global_symbol_table ScEpTIC.emulator.memory.virtual_global_symbol_table_unifier ScEpTIC.emulator.memory.virtual_heap ScEpTIC.emulator.memory.virtual_memory ScEpTIC.emulator.memory.virtual_memory_cell ScEpTIC.emulator.memory.virtual_ram ScEpTIC.emulator.memory.virtual_stack ScEpTIC.emulator.register_file ScEpTIC.emulator.register_file.physical_register_file ScEpTIC.emulator.register_file.program_counter ScEpTIC.emulator.register_file.register ScEpTIC.emulator.register_file.register_file ScEpTIC.emulator.register_file.virtual_register_file ScEpTIC.emulator.state_retention_manager ScEpTIC.emulator.stats ScEpTIC.emulator.timers ScEpTIC.emulator.timers.timer ScEpTIC.emulator.timers.timers_manager ScEpTIC.emulator.vm ScEpTIC.emulator.vmstate ScEpTIC.exceptions ScEpTIC.llvmir_parser ScEpTIC.llvmir_parser.instructions_parser ScEpTIC.llvmir_parser.instructions_parser.aggregate_operations ScEpTIC.llvmir_parser.instructions_parser.binary_operations ScEpTIC.llvmir_parser.instructions_parser.conversion_operations ScEpTIC.llvmir_parser.instructions_parser.memory_operations ScEpTIC.llvmir_parser.instructions_parser.other_operations ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions ScEpTIC.llvmir_parser.instructions_parser.vector_operations ScEpTIC.llvmir_parser.sections_divider ScEpTIC.llvmir_parser.sections_parser ScEpTIC.llvmir_parser.sections_parser.attributes_groups ScEpTIC.llvmir_parser.sections_parser.custom_types ScEpTIC.llvmir_parser.sections_parser.function ScEpTIC.llvmir_parser.sections_parser.global_vars ScEpTIC.llvmir_parser.sections_parser.headers ScEpTIC.llvmir_parser.sections_parser.metadata ScEpTIC.llvmir_parser.token_generator ScEpTIC.tools

MOST_RECENT (ScEpTIC.emulator.io.input.InputManager attribute) msp430_dma_word_copy (class in ScEpTIC.AST.builtins.libs.llvm) MSP430FREnergyModel (class in ScEpTIC.emulator.energy.mcu.msp430fr) MSP430GEnergyModel (class in ScEpTIC.emulator.energy.mcu.msp430g)

N

n_memory_instructions (ScEpTIC.AST.elements.instructions.other_operations.CallOperation attribute) (ScEpTIC.AST.elements.instructions.termination_instructions.ReturnOperation attribute) name (ScEpTIC.AST.elements.instructions.other_operations.CallOperation property) (ScEpTIC.emulator.custom_devices.CustomDevice attribute) (ScEpTIC.emulator.custom_devices.D2VFS.D2VFSSystemModel attribute) (ScEpTIC.emulator.custom_devices.FBTC.FBTCSystemModel attribute) (ScEpTIC.emulator.custom_devices.FBTCLogicOnly.FBTCSystemModelLogicOnly attribute) (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingChangeInputVal attribute) (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingLog attribute) (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingReset attribute) natural_keys() (in module ScEpTIC.tools) NO_MEMORY_ACCESS (ScEpTIC.emulator.energy.mcu.options.MCUClockCycleAction attribute) NON_IDEMPOTENT (ScEpTIC.emulator.io.output.OutputManager attribute) NON_VOLATILE (ScEpTIC.AST.misc.virtual_memory_enum.VirtualMemoryEnum attribute)

NON_VOLATILE_MEMORY_ACCESS (ScEpTIC.emulator.energy.mcu.options.MCUClockCycleAction attribute) NonVolatileRAM (class in ScEpTIC.emulator.memory.virtual_ram) NOP_OFF_RECHARGE (ScEpTIC.emulator.energy.mcu.options.MCUClockCycleAction attribute) NoRegulator (class in ScEpTIC.emulator.energy.voltage_regulator) normalize() (ScEpTIC.AST.transformations.virtual_memory.normalizations.checkpoints.conditionals.CheckpointConditionalNormalizer method) (ScEpTIC.AST.transformations.virtual_memory.normalizations.checkpoints.loops.CheckpointLoopNormalizer method) normalize_ast_labels() (ScEpTIC.AST.transformations.virtual_memory.parsers.ast_parser.ASTParser method) normalize_boundaries() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager method) normalize_labels() (ScEpTIC.AST.transformations.virtual_memory.normalizations.labels_normalizer.LabelsNormalizer static method) NVM_I2C (ScEpTIC.emulator.energy.options.OpModeName attribute) NVM_OFF (ScEpTIC.emulator.energy.power_state_event.PowerStateEvent attribute) NVM_SPI (ScEpTIC.emulator.energy.options.OpModeName attribute) NVMemoryMapConfig (class in ScEpTIC.AST.transformations.nv_memory_map.config) NVMInstructionsIdentifier (class in ScEpTIC.AST.transformations.virtual_memory.analysis.nvm_instructions_identifier) NVMPowerState (class in ScEpTIC.emulator.energy.mcu_peripheral.options)

O

OFF (ScEpTIC.emulator.energy.mcu.options.ADCPowerState attribute) (ScEpTIC.emulator.energy.mcu.options.MCUPowerState attribute) (ScEpTIC.emulator.energy.mcu_peripheral.options.NVMPowerState attribute) ON (ScEpTIC.emulator.energy.mcu.options.ADCPowerState attribute) (ScEpTIC.emulator.energy.mcu.options.MCUPowerState attribute) (ScEpTIC.emulator.energy.mcu_peripheral.options.NVMPowerState attribute) on_branch() (ScEpTIC.emulator.vmstate.VMState method) on_function_call() (ScEpTIC.emulator.register_file.physical_register_file.PhysicalRegisterFile method) (ScEpTIC.emulator.register_file.virtual_register_file.VirtualRegisterFile method) (ScEpTIC.emulator.vmstate.VMState method) on_function_return() (ScEpTIC.emulator.register_file.physical_register_file.PhysicalRegisterFile method) (ScEpTIC.emulator.register_file.virtual_register_file.VirtualRegisterFile method) (ScEpTIC.emulator.vmstate.VMState method) on_run() (ScEpTIC.emulator.vmstate.VMState method) op_mode_name (ScEpTIC.AST.builtins.libs.sceptic.adc_get_data attribute) (ScEpTIC.emulator.custom_devices.D2VFS.D2VFSSystemModel attribute) (ScEpTIC.emulator.custom_devices.FBTC.FBTCSystemModel attribute) (ScEpTIC.emulator.custom_devices.FBTCLogicOnly.FBTCSystemModelLogicOnly attribute) (ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_i2c.I2CExternalNVMProtocol attribute) (ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_protocol.ExternalNVMProtocol attribute) (ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_spi.SPIExternalNVMProtocol attribute)

OPERATING (ScEpTIC.emulator.energy.mcu_peripheral.options.ExternalNVMState attribute) operational_zones (ScEpTIC.emulator.custom_devices.D2VFS.D2VFSSystemModel attribute) (ScEpTIC.emulator.custom_devices.FBTC.FBTCSystemModel attribute) (ScEpTIC.emulator.custom_devices.FBTCLogicOnly.FBTCSystemModelLogicOnly attribute) OpModeName (class in ScEpTIC.emulator.energy.options) other_gst (ScEpTIC.emulator.memory.virtual_global_symbol_table_unifier.VirtualGlobalSymbolTableUnifier property) output() (ScEpTIC.emulator.custom_devices.FBTC.changepoint_detector.ChangepointChargeDetector method) (ScEpTIC.emulator.custom_devices.FBTC.changepoint_detector.ChangePointDetector method) (ScEpTIC.emulator.custom_devices.FBTC.changepoint_detector.ChangepointDischargeDetector method) (ScEpTIC.emulator.custom_devices.FBTCLogicOnly.changepoint_detector.ChangepointChargeDetectorLogic method) (ScEpTIC.emulator.custom_devices.FBTCLogicOnly.changepoint_detector.ChangePointDetectorLogic method) (ScEpTIC.emulator.custom_devices.FBTCLogicOnly.changepoint_detector.ChangepointDischargeDetectorLogic method) output_functions (ScEpTIC.emulator.io.output.OutputSkeleton attribute) output_idempotency_table (ScEpTIC.emulator.io.output.OutputManager attribute) output_init() (ScEpTIC.emulator.io.output.OutputSkeleton method) output_name (ScEpTIC.emulator.io.output.OutputSkeleton attribute) output_names (ScEpTIC.emulator.io.output.OutputSkeleton attribute) output_table (ScEpTIC.emulator.io.output.OutputManager attribute) OutputAnomaly (class in ScEpTIC.emulator.intermittent_executor.anomalies) OutputInterruptionManager (class in ScEpTIC.emulator.intermittent_executor.interruption_managers.output) OutputManager (class in ScEpTIC.emulator.io.output) OutputSkeleton (class in ScEpTIC.emulator.io.output)

P

P_R_to_V() (in module ScEpTIC.emulator.energy.energy_utils) PACKET_SIZE (ScEpTIC.emulator.energy.mcu_peripheral.cc1101.CC1101Model attribute) param_regs_count (ScEpTIC.emulator.register_file.virtual_register_file.VirtualRegisterFile attribute) parse() (ScEpTIC.AST.transformations.virtual_memory.parsers.ast_parser.ASTParser method) parse_aggregate_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.aggregate_operations) parse_align_attribute() (in module ScEpTIC.llvmir_parser.sections_parser.global_vars) parse_alloca_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.memory_operations) parse_array_def() (in module ScEpTIC.llvmir_parser.sections_parser.global_vars) parse_array_initial_val() (in module ScEpTIC.llvmir_parser.sections_parser.global_vars) parse_ast() (ScEpTIC.AST.transformations.virtual_memory.parsers.elements.basic_blocks_parser.BasicBlocksParser method) parse_ast_structures() (ScEpTIC.AST.transformations.virtual_memory.parsers.ast_parser.ASTParser method) parse_attributes_group() (in module ScEpTIC.llvmir_parser.sections_parser.attributes_groups) parse_attributes_groups_section() (in module ScEpTIC.llvmir_parser.sections_parser.attributes_groups) parse_base_type() (in module ScEpTIC.llvmir_parser.sections_parser.global_vars) parse_binary_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.binary_operations) parse_branch_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions) parse_call_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.other_operations) parse_calling_convention() (in module ScEpTIC.llvmir_parser.instructions_parser.other_operations) parse_cmp_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.other_operations) parse_comdat_attribute() (in module ScEpTIC.llvmir_parser.sections_parser.global_vars) parse_cond_type_operands() (in module ScEpTIC.llvmir_parser.instructions_parser.other_operations) parse_conditional_branch_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions) parse_conversion_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.conversion_operations) parse_custom_type_definition() (in module ScEpTIC.llvmir_parser.sections_parser.custom_types) parse_custom_types_section() (in module ScEpTIC.llvmir_parser.sections_parser.custom_types) parse_file() (in module ScEpTIC.llvmir_parser) parse_fp_specific_attr() (in module ScEpTIC.llvmir_parser.instructions_parser.binary_operations) parse_function_arguments() (in module ScEpTIC.llvmir_parser.sections_parser.function) parse_function_body() (in module ScEpTIC.llvmir_parser.sections_parser.function) parse_function_declaration() (in module ScEpTIC.llvmir_parser.sections_parser.function) parse_function_declarations_section() (in module ScEpTIC.llvmir_parser.sections_parser.function) parse_function_definition() (in module ScEpTIC.llvmir_parser.sections_parser.function) parse_function_definition_section() (in module ScEpTIC.llvmir_parser.sections_parser.function) parse_getelementptr_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.memory_operations) parse_global_var() (in module ScEpTIC.llvmir_parser.sections_parser.global_vars) parse_global_vars_section() (in module ScEpTIC.llvmir_parser.sections_parser.global_vars) parse_header_section() (in module ScEpTIC.llvmir_parser.sections_parser.headers) parse_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser) parse_int_div_specific_attr() (in module ScEpTIC.llvmir_parser.instructions_parser.binary_operations) parse_int_specific_attr() (in module ScEpTIC.llvmir_parser.instructions_parser.binary_operations) parse_label() (in module ScEpTIC.llvmir_parser.sections_parser.function) parse_load_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.memory_operations) parse_main_attributes() (in module ScEpTIC.llvmir_parser.sections_parser.global_vars) parse_memory_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.memory_operations) parse_metadata() (in module ScEpTIC.llvmir_parser.sections_parser.metadata) parse_metadata_body() (in module ScEpTIC.llvmir_parser.sections_parser.metadata) parse_metadata_collection() (in module ScEpTIC.llvmir_parser.sections_parser.metadata) parse_metadata_function() (in module ScEpTIC.llvmir_parser.sections_parser.metadata) parse_metadata_section() (in module ScEpTIC.llvmir_parser.sections_parser.metadata) parse_name_and_type() (in module ScEpTIC.llvmir_parser.sections_parser.custom_types) parse_operand() (in module ScEpTIC.llvmir_parser.instructions_parser.binary_operations) parse_other_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.other_operations) parse_phi_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.other_operations) parse_result_target() (in module ScEpTIC.llvmir_parser.instructions_parser.binary_operations) parse_ret_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions) parse_return_parameter_attr() (in module ScEpTIC.llvmir_parser.instructions_parser.other_operations) parse_return_type() (in module ScEpTIC.llvmir_parser.sections_parser.function) parse_section_attribute() (in module ScEpTIC.llvmir_parser.sections_parser.global_vars)

parse_sections() (in module ScEpTIC.llvmir_parser.sections_parser) parse_select_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.other_operations) parse_store_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.memory_operations) parse_struct_initial_val() (in module ScEpTIC.llvmir_parser.sections_parser.global_vars) parse_structures() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager method) parse_switch_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions) parse_tail_specific_attr() (in module ScEpTIC.llvmir_parser.instructions_parser.other_operations) parse_terminator_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions) parse_type() (in module ScEpTIC.llvmir_parser.sections_parser.global_vars) parse_type_and_initial_val() (in module ScEpTIC.llvmir_parser.sections_parser.global_vars) parse_type_and_operands() (in module ScEpTIC.llvmir_parser.instructions_parser.binary_operations) parse_type_composition() (in module ScEpTIC.llvmir_parser.sections_parser.custom_types) parse_unconditional_branch_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions) parse_unreachable_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions) parse_va_arg_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.other_operations) parse_vector_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.vector_operations) ParsingException pc_tree() (ScEpTIC.emulator.register_file.program_counter.ProgramCounter method) PhiOperation (class in ScEpTIC.AST.elements.instructions.other_operations) PHYSICAL_MEMORY_ACCESS (ScEpTIC.emulator.energy.mcu.options.MCUClockCycleAction attribute) PhysicalRegisterFile (class in ScEpTIC.emulator.register_file.physical_register_file) place_checkpoints() (ScEpTIC.AST.transformations.ratchet.checkpoint_placer.CheckpointPlacer method) PlaceStaticFrequencyScalingConfig (class in ScEpTIC.AST.transformations.place_static_frequency_scaling_ops.config) pop() (ScEpTIC.emulator.memory.virtual_stack.VirtualStack method) populate_base_addresses() (ScEpTIC.emulator.register_file.program_counter.ProgramCounter class method) populate_call_trees() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager method) populate_functions_parsing_order() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager method) pow (class in ScEpTIC.AST.builtins.libs.math) power_failure_callback() (ScEpTIC.emulator.energy.mcu.MCUEnergyModel method) power_failure_occurred() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) power_failure_occurring() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) power_failures (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingLog attribute) POWER_STATE_EVENT (ScEpTIC.emulator.energy.options.PowerOffCondition attribute) PowerOffCondition (class in ScEpTIC.emulator.energy.options) PowerStateEvent (class in ScEpTIC.emulator.energy.power_state_event) pre_parse_profiling_log() (in module ScEpTIC.emulator.intermittent_executor.profiling) prefix (ScEpTIC.AST.builtins.linker.BuiltinLinker attribute) print_ast() (ScEpTIC.AST.transformations.virtual_memory.parsers.ast_parser.ASTParser method) print_computation_interval() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager method) print_computation_intervals() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager method) print_enabled (ScEpTIC.AST.builtins.libs.sceptic.get_simulation_time attribute) (ScEpTIC.AST.builtins.libs.sceptic.get_used_energy attribute) print_metrics() (ScEpTIC.emulator.intermittent_executor.interruption_managers.energy_measure.EnergyMeasureInterruptionManager method) print_slices() (ScEpTIC.AST.transformations.ratchet.checkpoint_placer.CheckpointPlacer method) Printf (class in ScEpTIC.AST.transformations.base.instructions.printf) PrintVMDump (class in ScEpTIC.AST.transformations.base.instructions.print_vm_dump) PROBE_ENERGY_BUFFER (ScEpTIC.emulator.energy.options.OpModeName attribute) process_profiling_calls() (in module ScEpTIC.emulator.intermittent_executor.profiling) process_state_save_routines() (ScEpTIC.emulator.state_retention_manager.StateRetentionManager method) ProfilingChangeInputVal (class in ScEpTIC.emulator.intermittent_executor.profiling) ProfilingInterruptionManager (class in ScEpTIC.emulator.intermittent_executor.interruption_managers.profiling) ProfilingLog (class in ScEpTIC.emulator.intermittent_executor.profiling) ProfilingReset (class in ScEpTIC.emulator.intermittent_executor.profiling) program_end_reached (ScEpTIC.emulator.vmstate.VMState property) PROGRAM_EXECUTION (ScEpTIC.emulator.energy.options.OpModeName attribute) ProgramConfig (class in ScEpTIC.config.program_config) ProgramCounter (class in ScEpTIC.emulator.register_file.program_counter) push() (ScEpTIC.emulator.memory.virtual_stack.VirtualStack method)

R

R_from_energy_t() (in module ScEpTIC.emulator.energy.energy_utils) R_from_parallel_r() (in module ScEpTIC.emulator.energy.energy_utils) raise_exception() (ScEpTIC.emulator.intermittent_executor.anomalies.DataAnomaly method) ram_type (ScEpTIC.emulator.memory.virtual_ram.VirtualRAM property) randombuiltin (class in ScEpTIC.AST.builtins.libs.std) RatchetMemoryConfig (class in ScEpTIC.AST.transformations.ratchet.config) read() (ScEpTIC.emulator.memory.Memory method) (ScEpTIC.emulator.memory.virtual_global_symbol_table_unifier.VirtualGlobalSymbolTableUnifier method) (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory method) (ScEpTIC.emulator.register_file.register_file.RegisterFile method) read_address() (ScEpTIC.emulator.register_file.physical_register_file.PhysicalRegisterFile method) (ScEpTIC.emulator.register_file.register_file.RegisterFile method) READ_BYTE (ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_protocol.ExternalNVMProtocolAction attribute) READ_DATA (ScEpTIC.emulator.energy.mcu_peripheral.camera_0V7620.Camera0V7620Model attribute) read_from_symbol_name() (ScEpTIC.emulator.memory.virtual_global_symbol_table.VirtualGlobalSymbolTable method) (ScEpTIC.emulator.memory.virtual_global_symbol_table_unifier.VirtualGlobalSymbolTableUnifier method) READ_INIT (ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_protocol.ExternalNVMProtocolAction attribute) read_string_from_address() (ScEpTIC.emulator.memory.virtual_global_symbol_table.VirtualGlobalSymbolTable method) realloc (class in ScEpTIC.AST.builtins.libs.mem) reallocate() (ScEpTIC.emulator.memory.virtual_heap.VirtualHeap method) record_power_failure() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) reg_type (ScEpTIC.emulator.register_file.register_file.RegisterFile property) RegAllocException Register (class in ScEpTIC.emulator.register_file.register) register_isr() (ScEpTIC.emulator.io.interrupts_manager.InterruptsManager method) RegisterAllocationConfig (class in ScEpTIC.config.register_allocation_config) RegisterFile (class in ScEpTIC.emulator.register_file.register_file) RegisterFileConfig (class in ScEpTIC.config.register_file_config) RegisterFileException RegisterNotFoundException RegisterPool (class in ScEpTIC.AST.register_allocation.linear_scan.register_pool) RegisterSavingOptimization (class in ScEpTIC.AST.transformations.ratchet.checkpoint_registers_optimization) RegistersUsage (class in ScEpTIC.AST.transformations.virtual_memory.analysis.registers_usage) remap() (ScEpTIC.emulator.memory.virtual_memory_cell.VirtualMemoryCell method) remove_after_call_data_from_outside_frame_writes() (ScEpTIC.AST.transformations.virtual_memory.analysis.memory_usage.MemoryUsage static method) remove_comment_from_line() (in module ScEpTIC.llvmir_parser.token_generator) remove_lines() (in module ScEpTIC.llvmir_parser.sections_divider) remove_unrelevant_spaces() (in module ScEpTIC.llvmir_parser.token_generator) reparse() (ScEpTIC.AST.transformations.virtual_memory.parsers.ast_parser.ASTParser method) replace_reg_name() (ScEpTIC.AST.builtins.builtin.Builtin method) (ScEpTIC.AST.elements.instruction.Instruction method) (ScEpTIC.AST.elements.instructions.binary_operation.BinaryOperation method) (ScEpTIC.AST.elements.instructions.conversion.ConversionOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.GetElementPointerOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.LoadOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.StoreOperation method) (ScEpTIC.AST.elements.instructions.other_operations.CallOperation method) (ScEpTIC.AST.elements.instructions.other_operations.CompareOperation method) (ScEpTIC.AST.elements.instructions.other_operations.PhiOperation method) (ScEpTIC.AST.elements.instructions.other_operations.SelectOperation method) (ScEpTIC.AST.elements.instructions.termination_instructions.BranchOperation method) (ScEpTIC.AST.elements.instructions.termination_instructions.ReturnOperation method) (ScEpTIC.AST.elements.instructions.termination_instructions.SwitchOperation method) (ScEpTIC.AST.elements.value.Value method) (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingChangeInputVal method) (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingLog method) (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingReset method) requires_register_allocation (ScEpTIC.emulator.register_file.physical_register_file.PhysicalRegisterFile attribute) (ScEpTIC.emulator.register_file.virtual_register_file.VirtualRegisterFile attribute) requires_static_checkpoint (ScEpTIC.emulator.intermittent_executor.interruption_managers.base.InterruptionManager attribute) (ScEpTIC.emulator.intermittent_executor.interruption_managers.input.InputInterruptionManager attribute) (ScEpTIC.emulator.intermittent_executor.interruption_managers.output.OutputInterruptionManager attribute) (ScEpTIC.emulator.intermittent_executor.interruption_managers.profiling.ProfilingInterruptionManager attribute) reset() (ScEpTIC.AST.transformations.base.instructions.simulate_clock_cycles.SimulateClockCycles class method) (ScEpTIC.emulator.custom_metrics_manager.CustomMetricsManager method) (ScEpTIC.emulator.energy.mcu.MCUEnergyModel method) (ScEpTIC.emulator.energy.state_retention.external_checkpoint.ExternalNVMCheckpointEnergyModel method) (ScEpTIC.emulator.energy.state_retention.internal_checkpoint.InternalNVMCheckpointEnergyModel method) (ScEpTIC.emulator.energy.state_retention.StateRetentionEnergyModel method) (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) (ScEpTIC.emulator.io.output.OutputManager class method) (ScEpTIC.emulator.memory.Memory method) (ScEpTIC.emulator.memory.virtual_global_symbol_table.VirtualGlobalSymbolTable method) (ScEpTIC.emulator.memory.virtual_heap.VirtualHeap method) (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory method) (ScEpTIC.emulator.memory.virtual_ram.NonVolatileRAM method) (ScEpTIC.emulator.memory.virtual_ram.VirtualRAM method) (ScEpTIC.emulator.register_file.physical_register_file.PhysicalRegisterFile method) (ScEpTIC.emulator.register_file.register_file.RegisterFile method) (ScEpTIC.emulator.state_retention_manager.StateRetentionManager method) (ScEpTIC.emulator.stats.ScEpTICStats method) (ScEpTIC.emulator.vm.VM method) (ScEpTIC.emulator.vmstate.VMState method) reset_all_elements() (ScEpTIC.AST.transformations.virtual_memory.elements.basic_block.BasicBlock static method) (ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block.ConditionalBlock static method) (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock static method) reset_anomalies() (ScEpTIC.emulator.vm.VM method) reset_builtin_mapping() (ScEpTIC.AST.transformations.virtual_memory.virtual_memory_transformations.VirtualMemoryTransformations static method) reset_conditional_structure() (ScEpTIC.AST.transformations.virtual_memory.elements.base_element.BaseASTElement method) reset_mapping() (ScEpTIC.AST.transformations.virtual_memory.virtual_memory_transformations.VirtualMemoryTransformations static method) reset_profiling() (ScEpTIC.emulator.vm.VM method) reset_register_info() (ScEpTIC.AST.transformations.virtual_memory.analysis.registers_usage.RegistersUsage static method)

reset_simulation_time (class in ScEpTIC.AST.builtins.libs.sceptic) reset_simulation_time() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) reset_used_energy (class in ScEpTIC.AST.builtins.libs.sceptic) reset_used_energy() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) resistance (ScEpTIC.emulator.energy.mcu_peripheral.camera_0V7620.Camera0V7620Model attribute) resolve() (ScEpTIC.emulator.register_file.program_counter.ProgramCounter method) resolve_first_reads_writes() (ScEpTIC.AST.transformations.virtual_memory.analysis.memory_instructions_indentifier.MemoryInstructionsIdentifier static method) resolve_function_name() (ScEpTIC.AST.elements.instructions.other_operations.CallOperation method) resolve_last_reads_writes() (ScEpTIC.AST.transformations.virtual_memory.analysis.memory_instructions_indentifier.MemoryInstructionsIdentifier static method) resolve_memory_address_chain() (ScEpTIC.AST.elements.instruction.Instruction method) (ScEpTIC.AST.elements.instructions.binary_operation.BinaryOperation method) (ScEpTIC.AST.elements.instructions.conversion.ConversionOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.AllocaOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.GetElementPointerOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.LoadOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.StoreOperation method) (ScEpTIC.AST.elements.value.Value method) resolve_memory_tag() (ScEpTIC.AST.elements.instruction.Instruction method) (ScEpTIC.AST.elements.instructions.binary_operation.BinaryOperation method) (ScEpTIC.AST.elements.instructions.conversion.ConversionOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.AllocaOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.GetElementPointerOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.LoadOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.StoreOperation method) (ScEpTIC.AST.elements.value.Value method) resolve_memory_tag_dependency() (ScEpTIC.AST.elements.instructions.binary_operation.BinaryOperation method) (ScEpTIC.AST.elements.instructions.conversion.ConversionOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.AllocaOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.GetElementPointerOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.LoadOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.StoreOperation method) (ScEpTIC.AST.elements.value.Value method) resolve_memory_tags() (ScEpTIC.AST.transformations.ratchet.memory_tags_identifier.MemoryTagsIdentifier method) (ScEpTIC.AST.transformations.virtual_memory.parsers.memory_tags_parser.MemoryTagsParser method) restart() (ScEpTIC.emulator.timers.timer.Timer method) restore() (ScEpTIC.emulator.io.output.OutputManager class method) (ScEpTIC.emulator.memory.virtual_global_symbol_table.VirtualGlobalSymbolTable method) (ScEpTIC.emulator.memory.virtual_heap.VirtualHeap method) (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory method) (ScEpTIC.emulator.register_file.physical_register_file.PhysicalRegisterFile method) (ScEpTIC.emulator.register_file.program_counter.ProgramCounter method) (ScEpTIC.emulator.register_file.register_file.RegisterFile method) restore_dump() (ScEpTIC.emulator.state_retention_manager.StateRetentionManager method) RestoreRegistersOperation (class in ScEpTIC.AST.register_allocation.linear_scan.register_operations) ResultOutputConfig (class in ScEpTIC.config.result_output_config) retrieve() (ScEpTIC.AST.elements.metadata.Metadata method) ReturnOperation (class in ScEpTIC.AST.elements.instructions.termination_instructions) run() (ScEpTIC.analysis.base_analysis.ScEpTICAnalysis method) (ScEpTIC.analysis.energy.energy_analysis.EnergyAnalysis method) (ScEpTIC.analysis.min_capacitor_size.min_capacitor_size_analysis.MinCapacitorSizeAnalysis method) (ScEpTIC.AST.elements.instruction.Instruction method) (ScEpTIC.AST.elements.instructions.memory_operations.AllocaOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.LoadOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.StoreOperation method) (ScEpTIC.AST.elements.instructions.other_operations.CallOperation method) (ScEpTIC.AST.elements.instructions.other_operations.VaArgOperation method) (ScEpTIC.AST.elements.instructions.termination_instructions.BranchOperation method) (ScEpTIC.AST.elements.instructions.termination_instructions.ReturnOperation method) (ScEpTIC.AST.elements.instructions.termination_instructions.SwitchOperation method) (ScEpTIC.AST.transformations.base.instructions.custom_log.CustomLog method) (ScEpTIC.AST.transformations.base.instructions.increment_custom_metric.IncrementCustomMetric method) (ScEpTIC.AST.transformations.base.instructions.interrupts.InterruptsDisable method) (ScEpTIC.AST.transformations.base.instructions.interrupts.InterruptsDisableFiring method) (ScEpTIC.AST.transformations.base.instructions.interrupts.InterruptsEnable method) (ScEpTIC.AST.transformations.base.instructions.interrupts.InterruptsEnableFiring method) (ScEpTIC.AST.transformations.base.instructions.print_vm_dump.PrintVMDump method) (ScEpTIC.AST.transformations.base.instructions.printf.Printf method) (ScEpTIC.AST.transformations.base.instructions.simulate_clock_cycles.SimulateClockCycles method) (ScEpTIC.AST.transformations.base.instructions.timers.TimerSetPeriod method) (ScEpTIC.AST.transformations.base.instructions.timers.TimerStart method) (ScEpTIC.AST.transformations.base.instructions.timers.TimerStop method) run_custom_devices_logic() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) run_logic() (ScEpTIC.emulator.custom_devices.CustomDevice method) (ScEpTIC.emulator.custom_devices.D2VFS.D2VFSSystemModel method) (ScEpTIC.emulator.custom_devices.FBTC.FBTCSystemModel method) (ScEpTIC.emulator.custom_devices.FBTCLogicOnly.FBTCSystemModelLogicOnly method) (ScEpTIC.emulator.custom_devices.HibernusVoltageMonitor.HibernusVoltageMonitor method) run_register_allocation() (ScEpTIC.AST.register_allocation.linear_scan.linear_scan.LinearScanRegisterAllocator method) run_single_analysis() (ScEpTIC.emulator.vm.VM method) run_step() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) (ScEpTIC.emulator.vmstate.VMState method) run_test() (ScEpTIC.emulator.vm.VM method) run_tests() (ScEpTIC.emulator.vm.VM method) run_with_intermittent_execution() (ScEpTIC.emulator.intermittent_executor.interruption_managers.base.InterruptionManager method) (ScEpTIC.emulator.intermittent_executor.interruption_managers.energy_measure.EnergyMeasureInterruptionManager method) (ScEpTIC.emulator.intermittent_executor.interruption_managers.input.InputInterruptionManager method) (ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_evaluate.EvaluateMemoryAnomaliesInterruptionManager method) (ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_locate.LocateMemoryAnomaliesInterruptionManager method) (ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_size.MemorySizeIdentifier method) (ScEpTIC.emulator.intermittent_executor.interruption_managers.output.OutputInterruptionManager method) (ScEpTIC.emulator.intermittent_executor.interruption_managers.profiling.ProfilingInterruptionManager method) RunInfo (class in ScEpTIC.emulator.intermittent_executor.profiling) RuntimeException

S

save() (ScEpTIC.analysis.utils.settings_cache.SettingsCache method) (ScEpTIC.emulator.register_file.program_counter.ProgramCounter method) save_dump() (ScEpTIC.emulator.state_retention_manager.StateRetentionManager method) save_in_target_register() (ScEpTIC.AST.elements.instruction.Instruction method) save_metrics() (ScEpTIC.emulator.custom_metrics_manager.CustomMetricsManager method) save_result() (ScEpTIC.analysis.base_analysis.ScEpTICAnalysis method) SavedStateCalculator (class in ScEpTIC.analysis.utils.saved_state_calculator) SaveRegistersOperation (class in ScEpTIC.AST.register_allocation.linear_scan.register_operations) ScaleDownInstruction (class in ScEpTIC.AST.transformations.place_static_frequency_scaling_ops.scaling_instructions) ScaleUpInstruction (class in ScEpTIC.AST.transformations.place_static_frequency_scaling_ops.scaling_instructions) ScEpTIC module ScEpTIC.analysis module ScEpTIC.analysis.base_analysis module ScEpTIC.analysis.energy module ScEpTIC.analysis.energy.config module ScEpTIC.analysis.energy.energy_analysis module ScEpTIC.analysis.energy.main module ScEpTIC.analysis.min_capacitor_size module ScEpTIC.analysis.min_capacitor_size.config module ScEpTIC.analysis.min_capacitor_size.main module ScEpTIC.analysis.min_capacitor_size.min_capacitor_size_analysis module ScEpTIC.analysis.options module ScEpTIC.analysis.utils module ScEpTIC.analysis.utils.max_cycles_between_save_state_identifier module ScEpTIC.analysis.utils.max_state_identifier module ScEpTIC.analysis.utils.min_capacitor_size_identifier module ScEpTIC.analysis.utils.saved_state_calculator module ScEpTIC.analysis.utils.settings_cache module ScEpTIC.analysis.utils.voltage_thresholds_identifier module ScEpTIC.AST module ScEpTIC.AST.builtins module ScEpTIC.AST.builtins.builtin module ScEpTIC.AST.builtins.libs module ScEpTIC.AST.builtins.libs.llvm module ScEpTIC.AST.builtins.libs.math module ScEpTIC.AST.builtins.libs.mem module ScEpTIC.AST.builtins.libs.sceptic module ScEpTIC.AST.builtins.libs.std module ScEpTIC.AST.builtins.linker module ScEpTIC.AST.elements module ScEpTIC.AST.elements.function module ScEpTIC.AST.elements.global_var module ScEpTIC.AST.elements.instruction module ScEpTIC.AST.elements.instructions module ScEpTIC.AST.elements.instructions.binary_operation module ScEpTIC.AST.elements.instructions.conversion module ScEpTIC.AST.elements.instructions.memory_operations module ScEpTIC.AST.elements.instructions.other_operations module ScEpTIC.AST.elements.instructions.termination_instructions module ScEpTIC.AST.elements.metadata module ScEpTIC.AST.elements.types module ScEpTIC.AST.elements.value module ScEpTIC.AST.misc module ScEpTIC.AST.misc.virtual_memory_enum module ScEpTIC.AST.register_allocation module ScEpTIC.AST.register_allocation.linear_scan module ScEpTIC.AST.register_allocation.linear_scan.linear_scan module ScEpTIC.AST.register_allocation.linear_scan.register_operations module ScEpTIC.AST.register_allocation.linear_scan.register_pool module ScEpTIC.AST.transformations module ScEpTIC.AST.transformations.base module ScEpTIC.AST.transformations.base.config module ScEpTIC.AST.transformations.base.instructions module ScEpTIC.AST.transformations.base.instructions.custom_log module ScEpTIC.AST.transformations.base.instructions.enter_mcu_lpm module ScEpTIC.AST.transformations.base.instructions.increment_custom_metric module ScEpTIC.AST.transformations.base.instructions.interrupts module ScEpTIC.AST.transformations.base.instructions.print_vm_dump module ScEpTIC.AST.transformations.base.instructions.printf module ScEpTIC.AST.transformations.base.instructions.simulate_clock_cycles module ScEpTIC.AST.transformations.base.instructions.timers module ScEpTIC.AST.transformations.base.main module ScEpTIC.AST.transformations.mementos_memory_map module ScEpTIC.AST.transformations.mementos_memory_map.config module ScEpTIC.AST.transformations.mementos_memory_map.main module ScEpTIC.AST.transformations.nv_memory_map module ScEpTIC.AST.transformations.nv_memory_map.config module ScEpTIC.AST.transformations.nv_memory_map.main module ScEpTIC.AST.transformations.place_static_frequency_scaling_ops module ScEpTIC.AST.transformations.place_static_frequency_scaling_ops.config module ScEpTIC.AST.transformations.place_static_frequency_scaling_ops.main module ScEpTIC.AST.transformations.place_static_frequency_scaling_ops.scaling_instructions module ScEpTIC.AST.transformations.ratchet module ScEpTIC.AST.transformations.ratchet.checkpoint_placer module ScEpTIC.AST.transformations.ratchet.checkpoint_registers_optimization module ScEpTIC.AST.transformations.ratchet.config module ScEpTIC.AST.transformations.ratchet.main module ScEpTIC.AST.transformations.ratchet.memory_tags_identifier module ScEpTIC.AST.transformations.static_dvfs module ScEpTIC.AST.transformations.static_dvfs.config module ScEpTIC.AST.transformations.static_dvfs.main module ScEpTIC.AST.transformations.virtual_memory module ScEpTIC.AST.transformations.virtual_memory.analysis module ScEpTIC.AST.transformations.virtual_memory.analysis.memory_instructions_indentifier module ScEpTIC.AST.transformations.virtual_memory.analysis.memory_usage module ScEpTIC.AST.transformations.virtual_memory.analysis.nvm_instructions_identifier module ScEpTIC.AST.transformations.virtual_memory.analysis.registers_usage module ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager module ScEpTIC.AST.transformations.virtual_memory.config module ScEpTIC.AST.transformations.virtual_memory.elements module ScEpTIC.AST.transformations.virtual_memory.elements.base_element module ScEpTIC.AST.transformations.virtual_memory.elements.basic_block module ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block module ScEpTIC.AST.transformations.virtual_memory.elements.loop_block module ScEpTIC.AST.transformations.virtual_memory.elements.memory_access_metadata module ScEpTIC.AST.transformations.virtual_memory.main module ScEpTIC.AST.transformations.virtual_memory.normalizations module ScEpTIC.AST.transformations.virtual_memory.normalizations.checkpoints module ScEpTIC.AST.transformations.virtual_memory.normalizations.checkpoints.conditionals module ScEpTIC.AST.transformations.virtual_memory.normalizations.checkpoints.loops module ScEpTIC.AST.transformations.virtual_memory.normalizations.labels_normalizer module ScEpTIC.AST.transformations.virtual_memory.parsers module ScEpTIC.AST.transformations.virtual_memory.parsers.ast_parser module ScEpTIC.AST.transformations.virtual_memory.parsers.elements module ScEpTIC.AST.transformations.virtual_memory.parsers.elements.basic_blocks_parser module ScEpTIC.AST.transformations.virtual_memory.parsers.elements.conditional_parser module ScEpTIC.AST.transformations.virtual_memory.parsers.elements.loop_parser module ScEpTIC.AST.transformations.virtual_memory.parsers.memory_tags_parser module ScEpTIC.AST.transformations.virtual_memory.virtual_memory_transformations module ScEpTIC.config module ScEpTIC.config.analysis_config module ScEpTIC.config.ast_transformations_config module ScEpTIC.config.base_config module ScEpTIC.config.custom_metrics_config module ScEpTIC.config.deprecated_config module ScEpTIC.config.interrupts_config module ScEpTIC.config.logging_config module ScEpTIC.config.memory_config module ScEpTIC.config.program_config module ScEpTIC.config.register_allocation_config module ScEpTIC.config.register_file_config module ScEpTIC.config.result_output_config module ScEpTIC.config.state_retention_config module ScEpTIC.config.system_defaults module ScEpTIC.config.system_defaults.dino module ScEpTIC.config.system_defaults.hibernus module ScEpTIC.config.system_defaults.mementos module ScEpTIC.config.system_defaults.quickrecall module ScEpTIC.config.system_defaults.ratchet module ScEpTIC.emulator module ScEpTIC.emulator.custom_devices module ScEpTIC.emulator.custom_devices.D2VFS module ScEpTIC.emulator.custom_devices.D2VFS.d2vfs_energy_model module ScEpTIC.emulator.custom_devices.FBTC module ScEpTIC.emulator.custom_devices.FBTC.changepoint_detector module ScEpTIC.emulator.custom_devices.FBTC.fbtc_energy_model module ScEpTIC.emulator.custom_devices.FBTCLogicOnly module ScEpTIC.emulator.custom_devices.FBTCLogicOnly.changepoint_detector module ScEpTIC.emulator.custom_devices.HibernusVoltageMonitor module ScEpTIC.emulator.custom_devices.HibernusVoltageMonitor.hibernus_energy_model module ScEpTIC.emulator.custom_metrics_manager module ScEpTIC.emulator.energy module ScEpTIC.emulator.energy.buffer module ScEpTIC.emulator.energy.buffer.capacitor module ScEpTIC.emulator.energy.energy_harvester module ScEpTIC.emulator.energy.energy_harvester.charge_booster module ScEpTIC.emulator.energy.energy_harvester.generic module ScEpTIC.emulator.energy.energy_harvester.voltage_doubler module ScEpTIC.emulator.energy.energy_source module ScEpTIC.emulator.energy.energy_source.fixed_voltage_source module ScEpTIC.emulator.energy.energy_source.synthetic_energy_source module ScEpTIC.emulator.energy.energy_source.time_series_energy_source module ScEpTIC.emulator.energy.energy_utils module ScEpTIC.emulator.energy.mcu module ScEpTIC.emulator.energy.mcu.datasheets module ScEpTIC.emulator.energy.mcu.datasheets.msp430fr2355 module ScEpTIC.emulator.energy.mcu.datasheets.msp430fr5043 module ScEpTIC.emulator.energy.mcu.datasheets.msp430fr5739 module ScEpTIC.emulator.energy.mcu.datasheets.msp430fr5969 module ScEpTIC.emulator.energy.mcu.datasheets.msp430g2553 module ScEpTIC.emulator.energy.mcu.datasheets.msp430g2553_fbtc_utils module ScEpTIC.emulator.energy.mcu.datasheets.msp430g2553_fbtc_utils.lookup_table module ScEpTIC.emulator.energy.mcu.datasheets.msp430g2553_utils module ScEpTIC.emulator.energy.mcu.datasheets.msp430g2553_utils.lookup_table module ScEpTIC.emulator.energy.mcu.datasheets.msp430g2553_utils.voltage_lookup_hash module ScEpTIC.emulator.energy.mcu.lookup_tables module ScEpTIC.emulator.energy.mcu.lookup_tables.msp430g2553 module ScEpTIC.emulator.energy.mcu.lookup_tables.msp430g2553_fbtc module ScEpTIC.emulator.energy.mcu.msp430fr module ScEpTIC.emulator.energy.mcu.msp430g module ScEpTIC.emulator.energy.mcu.options module

ScEpTIC.emulator.energy.mcu_peripheral module ScEpTIC.emulator.energy.mcu_peripheral.camera_0V7620 module ScEpTIC.emulator.energy.mcu_peripheral.cc1101 module ScEpTIC.emulator.energy.mcu_peripheral.datasheets module ScEpTIC.emulator.energy.mcu_peripheral.datasheets.MB85RC256V module ScEpTIC.emulator.energy.mcu_peripheral.datasheets.MB85RC64V module ScEpTIC.emulator.energy.mcu_peripheral.datasheets.MB85RS64V module ScEpTIC.emulator.energy.mcu_peripheral.external_nvm module ScEpTIC.emulator.energy.mcu_peripheral.generic_sensor module ScEpTIC.emulator.energy.mcu_peripheral.options module ScEpTIC.emulator.energy.mcu_peripheral.protocol_models module ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_i2c module ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_protocol module ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_spi module ScEpTIC.emulator.energy.mcu_peripheral.SGP40 module ScEpTIC.emulator.energy.mcu_peripheral.SHT85 module ScEpTIC.emulator.energy.options module ScEpTIC.emulator.energy.power_state_event module ScEpTIC.emulator.energy.state_retention module ScEpTIC.emulator.energy.state_retention.external_checkpoint module ScEpTIC.emulator.energy.state_retention.internal_checkpoint module ScEpTIC.emulator.energy.system_energy_model module ScEpTIC.emulator.energy.timekeeper module ScEpTIC.emulator.energy.voltage_drawner module ScEpTIC.emulator.energy.voltage_regulator module ScEpTIC.emulator.energy.voltage_regulator.ideal_regulator module ScEpTIC.emulator.energy.voltage_regulator.MAX20361 module ScEpTIC.emulator.energy.voltage_regulator.TPS61322 module ScEpTIC.emulator.energy.voltage_regulator.TPS62740x module ScEpTIC.emulator.energy.voltage_source module ScEpTIC.emulator.intermittent_executor module ScEpTIC.emulator.intermittent_executor.anomalies module ScEpTIC.emulator.intermittent_executor.interruption_managers module ScEpTIC.emulator.intermittent_executor.interruption_managers.base module ScEpTIC.emulator.intermittent_executor.interruption_managers.energy_measure module ScEpTIC.emulator.intermittent_executor.interruption_managers.input module ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_evaluate module ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_locate module ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_size module ScEpTIC.emulator.intermittent_executor.interruption_managers.output module ScEpTIC.emulator.intermittent_executor.interruption_managers.profiling module ScEpTIC.emulator.intermittent_executor.profiling module ScEpTIC.emulator.io module ScEpTIC.emulator.io.input module ScEpTIC.emulator.io.interrupts_manager module ScEpTIC.emulator.io.output module ScEpTIC.emulator.memory module ScEpTIC.emulator.memory.memory_access_trace module ScEpTIC.emulator.memory.utils module ScEpTIC.emulator.memory.virtual_global_symbol_table module ScEpTIC.emulator.memory.virtual_global_symbol_table_unifier module ScEpTIC.emulator.memory.virtual_heap module ScEpTIC.emulator.memory.virtual_memory module ScEpTIC.emulator.memory.virtual_memory_cell module ScEpTIC.emulator.memory.virtual_ram module ScEpTIC.emulator.memory.virtual_stack module ScEpTIC.emulator.register_file module ScEpTIC.emulator.register_file.physical_register_file module ScEpTIC.emulator.register_file.program_counter module ScEpTIC.emulator.register_file.register module ScEpTIC.emulator.register_file.register_file module ScEpTIC.emulator.register_file.virtual_register_file module ScEpTIC.emulator.state_retention_manager module ScEpTIC.emulator.stats module ScEpTIC.emulator.timers module ScEpTIC.emulator.timers.timer module ScEpTIC.emulator.timers.timers_manager module ScEpTIC.emulator.vm module ScEpTIC.emulator.vmstate module ScEpTIC.exceptions module ScEpTIC.llvmir_parser module ScEpTIC.llvmir_parser.instructions_parser module ScEpTIC.llvmir_parser.instructions_parser.aggregate_operations module ScEpTIC.llvmir_parser.instructions_parser.binary_operations module ScEpTIC.llvmir_parser.instructions_parser.conversion_operations module ScEpTIC.llvmir_parser.instructions_parser.memory_operations module ScEpTIC.llvmir_parser.instructions_parser.other_operations module ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions module ScEpTIC.llvmir_parser.instructions_parser.vector_operations module ScEpTIC.llvmir_parser.sections_divider module ScEpTIC.llvmir_parser.sections_parser module ScEpTIC.llvmir_parser.sections_parser.attributes_groups module ScEpTIC.llvmir_parser.sections_parser.custom_types module ScEpTIC.llvmir_parser.sections_parser.function module ScEpTIC.llvmir_parser.sections_parser.global_vars module ScEpTIC.llvmir_parser.sections_parser.headers module ScEpTIC.llvmir_parser.sections_parser.metadata module ScEpTIC.llvmir_parser.token_generator module ScEpTIC.tools module ScEpTICAnalysis (class in ScEpTIC.analysis.base_analysis) ScEpTICBaseConfig (class in ScEpTIC.config.base_config) ScEpTICConfig (class in ScEpTIC.config) ScEpTICStats (class in ScEpTIC.emulator.stats) SelectOperation (class in ScEpTIC.AST.elements.instructions.other_operations) sensitivity (ScEpTIC.emulator.custom_devices.D2VFS.D2VFSSystemModel attribute) (ScEpTIC.emulator.custom_devices.FBTC.FBTCSystemModel attribute) (ScEpTIC.emulator.custom_devices.FBTCLogicOnly.FBTCSystemModelLogicOnly attribute) set_adc_state() (ScEpTIC.emulator.energy.mcu.MCUEnergyModel method) set_address_input_lookup() (ScEpTIC.emulator.register_file.physical_register_file.PhysicalRegisterFile method) (ScEpTIC.emulator.register_file.register_file.RegisterFile method) set_args() (ScEpTIC.AST.builtins.builtin.Builtin method) set_capacitor_voltage (class in ScEpTIC.AST.builtins.libs.sceptic) set_cell_input_lookup() (ScEpTIC.emulator.memory.Memory method) (ScEpTIC.emulator.memory.virtual_global_symbol_table_unifier.VirtualGlobalSymbolTableUnifier method) (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory method) set_cells_from_address() (ScEpTIC.emulator.memory.Memory method) (ScEpTIC.emulator.memory.virtual_global_symbol_table_unifier.VirtualGlobalSymbolTableUnifier method) (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory method) set_checkpoints_esp_reg() (ScEpTIC.AST.transformations.virtual_memory.analysis.registers_usage.RegistersUsage static method) set_checkpoints_general_purpose_regs() (ScEpTIC.AST.transformations.virtual_memory.analysis.registers_usage.RegistersUsage static method) set_checkpoints_registers() (ScEpTIC.AST.transformations.ratchet.checkpoint_registers_optimization.RegisterSavingOptimization method) set_checkpoints_regs() (ScEpTIC.AST.transformations.virtual_memory.analysis.registers_usage.RegistersUsage static method) set_conditional_container() (ScEpTIC.AST.transformations.virtual_memory.elements.memory_access_metadata.CompositeMemoryAccessMetadata method) (ScEpTIC.AST.transformations.virtual_memory.elements.memory_access_metadata.MemoryAccessMetadata method) set_conditional_entry_label() (ScEpTIC.AST.transformations.virtual_memory.elements.base_element.BaseASTElement method) set_conditional_exit_label() (ScEpTIC.AST.transformations.virtual_memory.elements.base_element.BaseASTElement method) set_config() (ScEpTIC.config.base_config.ScEpTICBaseConfig method) (ScEpTIC.config.custom_metrics_config.CustomMetricsConfig method) set_consistency_model() (ScEpTIC.emulator.io.input.InputManager class method) set_content() (ScEpTIC.emulator.memory.virtual_memory_cell.VirtualMemoryCell method) set_custom_signal() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) set_default_idempotent() (ScEpTIC.emulator.io.output.OutputManager class method) set_energy() (ScEpTIC.emulator.energy.buffer.EnergyBufferModel method) set_energy_lower_bound() (ScEpTIC.emulator.energy.buffer.EnergyBufferModel method) set_equivalent_resistance() (ScEpTIC.emulator.energy.energy_harvester.EnergyHarvesterModel method) set_frequency() (ScEpTIC.emulator.energy.mcu.MCUEnergyModel method) set_idempotency() (ScEpTIC.emulator.io.output.OutputManager class method) set_input_lookup() (ScEpTIC.emulator.memory.virtual_memory_cell.VirtualMemoryCell method) (ScEpTIC.emulator.register_file.register_file.RegisterFile method) set_input_value() (ScEpTIC.emulator.io.input.InputManager class method) set_load_resistance() (ScEpTIC.emulator.energy.energy_source.time_series_energy_source.TimeSeriesEnergySource method) set_lookup() (ScEpTIC.emulator.memory.virtual_memory_cell.VirtualMemoryCell method) set_lookup_table() (ScEpTIC.emulator.energy.mcu.MCUEnergyModel method) set_max_current() (ScEpTIC.emulator.energy.energy_source.fixed_voltage_source.FixedVoltageSource method) set_max_memory_cells() (ScEpTIC.emulator.energy.state_retention.StateRetentionEnergyModel method) set_max_regs() (ScEpTIC.emulator.energy.state_retention.StateRetentionEnergyModel method) set_mcu_power_on_voltage (class in ScEpTIC.AST.builtins.libs.sceptic) set_mcu_state() (ScEpTIC.emulator.energy.mcu.MCUEnergyModel method) set_mcu_time (class in ScEpTIC.AST.builtins.libs.sceptic) set_mcu_time_us (class in ScEpTIC.AST.builtins.libs.sceptic) set_memory_mapped() (ScEpTIC.emulator.memory.virtual_memory_cell.VirtualMemoryCell method) set_output_val() (ScEpTIC.emulator.io.output.OutputSkeleton method) set_output_voltage() (ScEpTIC.emulator.energy.voltage_regulator.VoltageRegulatorModel method) set_period() (ScEpTIC.emulator.timers.timer.Timer method) set_power_failures_automatic_check() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) set_power_off_condition() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) set_power_off_voltage() (ScEpTIC.emulator.energy.system_energy_model.SystemEnergyModel method) set_power_state() (ScEpTIC.emulator.energy.mcu_peripheral.external_nvm.ExternalNVM method) set_power_state_behaviour() (ScEpTIC.emulator.energy.mcu_peripheral.MCUPeripheral method) set_state() (ScEpTIC.emulator.energy.mcu_peripheral.camera_0V7620.Camera0V7620Model method) (ScEpTIC.emulator.energy.mcu_peripheral.cc1101.CC1101Model method) (ScEpTIC.emulator.energy.mcu_peripheral.external_nvm.ExternalNVM method) (ScEpTIC.emulator.energy.mcu_peripheral.generic_sensor.GenericADCSensorModel method) (ScEpTIC.emulator.energy.mcu_peripheral.SGP40.SGP40 method) (ScEpTIC.emulator.energy.mcu_peripheral.SHT85.SHT85 method) set_state_as_base_state() (ScEpTIC.emulator.memory.virtual_global_symbol_table.VirtualGlobalSymbolTable method) (ScEpTIC.emulator.memory.virtual_global_symbol_table_unifier.VirtualGlobalSymbolTableUnifier method) set_surrounding_sequence() (ScEpTIC.AST.transformations.virtual_memory.elements.memory_access_metadata.CompositeMemoryAccessMetadata method) (ScEpTIC.AST.transformations.virtual_memory.elements.memory_access_metadata.MemoryAccessMetadata method) set_target_lpm() (ScEpTIC.emulator.energy.mcu.MCUEnergyModel method) set_termination_reason() (ScEpTIC.emulator.vm.VM method) set_time() (ScEpTIC.emulator.energy.mcu.MCUEnergyModel method) set_timer_period() (ScEpTIC.emulator.timers.timers_manager.TimersManager method) set_v_on() (ScEpTIC.emulator.energy.mcu.MCUEnergyModel method) set_voltage() (ScEpTIC.emulator.energy.buffer.EnergyBufferModel method) (ScEpTIC.emulator.energy.energy_source.fixed_voltage_source.FixedVoltageSource method) (ScEpTIC.emulator.energy.energy_source.synthetic_energy_source.SyntheticEnergySource method) set_voltage_doublers() (ScEpTIC.emulator.energy.energy_harvester.voltage_doubler.VoltageDoublerEnergyHarvester method) set_voltage_lower_bound() (ScEpTIC.emulator.energy.buffer.EnergyBufferModel method) SettingsCache (class in ScEpTIC.analysis.utils.settings_cache) setup() (in module ScEpTIC.config.system_defaults.dino) (in module ScEpTIC.config.system_defaults.hibernus) (in module ScEpTIC.config.system_defaults.mementos) (in module ScEpTIC.config.system_defaults.quickrecall) (in module ScEpTIC.config.system_defaults.ratchet) (ScEpTIC.emulator.custom_devices.CustomDevice method) (ScEpTIC.emulator.custom_devices.D2VFS.D2VFSSystemModel method) (ScEpTIC.emulator.custom_devices.FBTC.FBTCSystemModel method) (ScEpTIC.emulator.custom_devices.FBTCLogicOnly.FBTCSystemModelLogicOnly method) (ScEpTIC.emulator.custom_devices.HibernusVoltageMonitor.HibernusVoltageMonitor method) SGP40 (class in ScEpTIC.emulator.energy.mcu_peripheral.SGP40) SHT85 (class in ScEpTIC.emulator.energy.mcu_peripheral.SHT85) simple_elements_extractor() (in module ScEpTIC.llvmir_parser.sections_divider) SIMULATE_ADC (ScEpTIC.emulator.energy.options.OpModeName attribute) SIMULATE_CYCLES (ScEpTIC.emulator.energy.options.OpModeName attribute) simulate_mmu_read_on_cells() (ScEpTIC.emulator.memory.Memory method) (ScEpTIC.emulator.memory.virtual_global_symbol_table_unifier.VirtualGlobalSymbolTableUnifier method) (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory method) SIMULATE_RADIO (ScEpTIC.emulator.energy.options.OpModeName attribute) simulate_read() (ScEpTIC.emulator.energy.mcu_peripheral.camera_0V7620.Camera0V7620Model method) (ScEpTIC.emulator.energy.mcu_peripheral.generic_sensor.GenericADCSensorModel method) (ScEpTIC.emulator.energy.mcu_peripheral.SGP40.SGP40 method) (ScEpTIC.emulator.energy.mcu_peripheral.SHT85.SHT85 method) SIMULATE_SENSOR (ScEpTIC.emulator.energy.options.OpModeName attribute) simulate_set_state() (ScEpTIC.emulator.energy.mcu_peripheral.camera_0V7620.Camera0V7620Model method) (ScEpTIC.emulator.energy.mcu_peripheral.cc1101.CC1101Model method) (ScEpTIC.emulator.energy.mcu_peripheral.generic_sensor.GenericADCSensorModel method) (ScEpTIC.emulator.energy.mcu_peripheral.SGP40.SGP40 method) (ScEpTIC.emulator.energy.mcu_peripheral.SHT85.SHT85 method) simulate_transmit() (ScEpTIC.emulator.energy.mcu_peripheral.cc1101.CC1101Model method) SimulateClockCycles (class in ScEpTIC.AST.transformations.base.instructions.simulate_clock_cycles) sin (class in ScEpTIC.AST.builtins.libs.math) SingleStackARAnomaly (class in ScEpTIC.emulator.intermittent_executor.anomalies) sinh (class in ScEpTIC.AST.builtins.libs.math) SPI_ACCESS (ScEpTIC.emulator.energy.mcu.options.MCUClockCycleAction attribute) SPIExternalNVMProtocol (class in ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_spi) spill_at() (ScEpTIC.AST.register_allocation.linear_scan.linear_scan.LinearScanRegisterAllocator method) spill_type (ScEpTIC.AST.register_allocation.linear_scan.linear_scan.LinearScanRegisterAllocator property) split_computation_intervals() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager method) split_context_into_sublist() (in module ScEpTIC.tools) split_into_sublist() (in module ScEpTIC.tools) split_parantheses_groups() (in module ScEpTIC.tools) split_parantheses_groups_with_context() (in module ScEpTIC.tools) sqrt (class in ScEpTIC.AST.builtins.libs.math) srandombuiltin (class in ScEpTIC.AST.builtins.libs.std) stack (ScEpTIC.emulator.memory.Memory property) StackARAnomaly (class in ScEpTIC.emulator.intermittent_executor.anomalies) STANDBY (ScEpTIC.emulator.energy.mcu_peripheral.options.ExternalNVMState attribute) start() (ScEpTIC.emulator.timers.timer.Timer method) start_timer() (ScEpTIC.emulator.timers.timers_manager.TimersManager method) start_tracking() (ScEpTIC.emulator.energy.timekeeper.TimekeeperModel method) STATE_RESTORE (ScEpTIC.emulator.energy.options.OpModeName attribute) STATE_SAVE (ScEpTIC.emulator.energy.options.OpModeName attribute) StateRetentionConfig (class in ScEpTIC.config.state_retention_config) StateRetentionEnergyModel (class in ScEpTIC.emulator.energy.state_retention) StateRetentionManager (class in ScEpTIC.emulator.state_retention_manager) states (ScEpTIC.AST.builtins.libs.sceptic.cc1101_set_state attribute) STATES (ScEpTIC.emulator.energy.mcu_peripheral.camera_0V7620.Camera0V7620Model attribute) (ScEpTIC.emulator.energy.mcu_peripheral.cc1101.CC1101Model attribute) (ScEpTIC.emulator.energy.mcu_peripheral.generic_sensor.GenericADCSensorModel attribute) (ScEpTIC.emulator.energy.mcu_peripheral.SGP40.SGP40 attribute) (ScEpTIC.emulator.energy.mcu_peripheral.SHT85.SHT85 attribute) STATIC_SCALE_DOWN (ScEpTIC.emulator.energy.options.OpModeName attribute) STATIC_SCALE_UP (ScEpTIC.emulator.energy.options.OpModeName attribute) StaticDVFSConfig (class in ScEpTIC.AST.transformations.static_dvfs.config) StaticScalingInstruction (class in ScEpTIC.AST.transformations.place_static_frequency_scaling_ops.scaling_instructions) stdout_enabled (ScEpTIC.AST.transformations.base.instructions.printf.Printf attribute) StepDownVoltageRegulatorModel (class in ScEpTIC.emulator.energy.voltage_regulator) StepUpVoltageRegulatorModel (class in ScEpTIC.emulator.energy.voltage_regulator) stop (ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_i2c.I2CExternalNVMProtocol attribute) STOP (ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_protocol.ExternalNVMProtocolAction attribute) stop() (ScEpTIC.emulator.timers.timer.Timer method) stop_at() (ScEpTIC.emulator.stats.ScEpTICStats method) stop_current_test() (ScEpTIC.emulator.vm.VM method) stop_timer() (ScEpTIC.emulator.timers.timers_manager.TimersManager method) stop_tracking() (ScEpTIC.emulator.energy.timekeeper.TimekeeperModel method) StopAnomalyFoundException StopException StoreOperation (class in ScEpTIC.AST.elements.instructions.memory_operations) str_add_vals() (in module ScEpTIC.emulator.energy.energy_utils) str_print_instructions (ScEpTIC.AST.transformations.virtual_memory.elements.basic_block.BasicBlock attribute) str_to_float() (in module ScEpTIC.emulator.energy.energy_utils) str_to_int() (in module ScEpTIC.emulator.energy.energy_utils) str_to_time() (in module ScEpTIC.emulator.memory.utils) strlen (class in ScEpTIC.AST.builtins.libs.std) SwitchOperation (class in ScEpTIC.AST.elements.instructions.termination_instructions) sync_mmu() (ScEpTIC.emulator.memory.virtual_global_symbol_table.VirtualGlobalSymbolTable method) (ScEpTIC.emulator.memory.virtual_global_symbol_table_unifier.VirtualGlobalSymbolTableUnifier method) synchronize_to_ast() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager method) syncrhonize_ast_to_functions() (ScEpTIC.AST.transformations.virtual_memory.parsers.ast_parser.ASTParser method) SyntheticEnergySource (class in ScEpTIC.emulator.energy.energy_source.synthetic_energy_source) SystemEnergyModel (class in ScEpTIC.emulator.energy.system_energy_model)

T

t_read (ScEpTIC.emulator.energy.mcu_peripheral.SHT85.SHT85 attribute) t_ready (ScEpTIC.emulator.energy.mcu_peripheral.camera_0V7620.Camera0V7620Model attribute) t_wakeup (ScEpTIC.emulator.energy.mcu_peripheral.camera_0V7620.Camera0V7620Model attribute) (ScEpTIC.emulator.energy.mcu_peripheral.cc1101.CC1101Model attribute) (ScEpTIC.emulator.energy.mcu_peripheral.SHT85.SHT85 attribute) tan (class in ScEpTIC.AST.builtins.libs.math) tanh (class in ScEpTIC.AST.builtins.libs.math) temperature_read_data (class in ScEpTIC.AST.builtins.libs.sceptic) TEXT (ScEpTIC.analysis.options.AnalysisResultFormat attribute) tick_count (ScEpTIC.AST.builtins.builtin.Builtin attribute) (ScEpTIC.AST.elements.instruction.Instruction attribute) (ScEpTIC.AST.elements.instructions.other_operations.CallOperation attribute) (ScEpTIC.AST.elements.instructions.termination_instructions.ReturnOperation attribute) (ScEpTIC.AST.transformations.base.instructions.custom_log.CustomLog attribute) (ScEpTIC.AST.transformations.base.instructions.CustomInstruction attribute) (ScEpTIC.AST.transformations.base.instructions.enter_mcu_lpm.EnterMCULPM attribute) (ScEpTIC.AST.transformations.base.instructions.printf.Printf attribute) (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingChangeInputVal attribute) (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingLog attribute)

TIME_MULTIPLIER (ScEpTIC.emulator.energy.energy_source.EnergySourceModel attribute) timebuiltin (class in ScEpTIC.AST.builtins.libs.std) timekeeper_get_time (class in ScEpTIC.AST.builtins.libs.sceptic) timekeeper_get_time_us (class in ScEpTIC.AST.builtins.libs.sceptic) TimekeeperModel (class in ScEpTIC.emulator.energy.timekeeper) Timer (class in ScEpTIC.emulator.timers.timer) timer_name (ScEpTIC.AST.transformations.base.instructions.timers.TimerCustomInstruction property) TimerCustomInstruction (class in ScEpTIC.AST.transformations.base.instructions.timers) TimerSetPeriod (class in ScEpTIC.AST.transformations.base.instructions.timers) TimersManager (class in ScEpTIC.emulator.timers.timers_manager) TimerStart (class in ScEpTIC.AST.transformations.base.instructions.timers) TimerStop (class in ScEpTIC.AST.transformations.base.instructions.timers) TimeSeriesEnergySource (class in ScEpTIC.emulator.energy.energy_source.time_series_energy_source) to_binary() (in module ScEpTIC.emulator.memory.utils) TPS61322 (class in ScEpTIC.emulator.energy.voltage_regulator.TPS61322) TPS62740x (class in ScEpTIC.emulator.energy.voltage_regulator.TPS62740x) tracking (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingLog attribute) trigger_interrupt() (ScEpTIC.emulator.io.interrupts_manager.InterruptsManager method) Type (class in ScEpTIC.AST.elements.types)

U

update() (ScEpTIC.emulator.energy.buffer.capacitor.CapacitorModel method) (ScEpTIC.emulator.energy.buffer.EnergyBufferModel method) (ScEpTIC.emulator.register_file.program_counter.ProgramCounter method) update_body() (ScEpTIC.AST.elements.function.Function method)

update_labels() (ScEpTIC.AST.elements.function.Function method) update_size() (ScEpTIC.emulator.energy.buffer.capacitor.CapacitorModel method) (ScEpTIC.emulator.energy.buffer.EnergyBufferModel method) update_stats() (ScEpTIC.emulator.energy.mcu.MCUEnergyModel method) use_physical_memory() (ScEpTIC.emulator.energy.state_retention.internal_checkpoint.InternalNVMCheckpointEnergyModel method)

V

VaArgOperation (class in ScEpTIC.AST.elements.instructions.other_operations) validate() (ScEpTIC.config.ScEpTICConfig method) Value (class in ScEpTIC.AST.elements.value) value (ScEpTIC.emulator.io.input.InputSkeleton attribute) virtual_memory_calculate_saved_memory_cells() (ScEpTIC.analysis.utils.saved_state_calculator.SavedStateCalculator method) virtual_memory_get_saved_registers() (ScEpTIC.analysis.utils.saved_state_calculator.SavedStateCalculator method) VirtualGlobalSymbolTable (class in ScEpTIC.emulator.memory.virtual_global_symbol_table) VirtualGlobalSymbolTableUnifier (class in ScEpTIC.emulator.memory.virtual_global_symbol_table_unifier) VirtualHeap (class in ScEpTIC.emulator.memory.virtual_heap) VirtualMemory (class in ScEpTIC.emulator.memory.virtual_memory) VirtualMemoryCell (class in ScEpTIC.emulator.memory.virtual_memory_cell) VirtualMemoryConfig (class in ScEpTIC.AST.transformations.virtual_memory.config) VirtualMemoryEnum (class in ScEpTIC.AST.misc.virtual_memory_enum) VirtualMemoryTransformations (class in ScEpTIC.AST.transformations.virtual_memory.virtual_memory_transformations) VirtualRAM (class in ScEpTIC.emulator.memory.virtual_ram) VirtualRegisterFile (class in ScEpTIC.emulator.register_file.virtual_register_file) VirtualStack (class in ScEpTIC.emulator.memory.virtual_stack) VM (class in ScEpTIC.emulator.vm)

VMState (class in ScEpTIC.emulator.vmstate) voc_read_data (class in ScEpTIC.AST.builtins.libs.sceptic) VOLATILE (ScEpTIC.AST.misc.virtual_memory_enum.VirtualMemoryEnum attribute) (ScEpTIC.AST.transformations.virtual_memory.parsers.memory_tags_parser.MemoryTagsParser attribute) VOLATILE_MEMORY_ACCESS (ScEpTIC.emulator.energy.mcu.options.MCUClockCycleAction attribute) VolatileRAM (class in ScEpTIC.emulator.memory.virtual_ram) voltage_dividers (ScEpTIC.emulator.custom_devices.FBTCLogicOnly.FBTCSystemModelLogicOnly attribute) voltage_hash() (ScEpTIC.emulator.energy.mcu.lookup_tables.LookupTable static method) voltage_hash_mul (ScEpTIC.emulator.energy.mcu.lookup_tables.LookupTable attribute) voltage_hash_range (ScEpTIC.emulator.energy.mcu.lookup_tables.LookupTable attribute) voltage_lookup_hash() (in module ScEpTIC.emulator.energy.mcu.datasheets.msp430g2553_utils.voltage_lookup_hash) VOLTAGE_REGULATOR (ScEpTIC.emulator.energy.options.ComponentVoltageSource attribute) voltage_source (ScEpTIC.emulator.energy.voltage_drawner.VoltageDrawner attribute) VoltageDoublerEnergyHarvester (class in ScEpTIC.emulator.energy.energy_harvester.voltage_doubler) VoltageDrawner (class in ScEpTIC.emulator.energy.voltage_drawner) VoltageRegulatorModel (class in ScEpTIC.emulator.energy.voltage_regulator) VoltageSource (class in ScEpTIC.emulator.energy.voltage_source) VoltageThresholdException VoltageThresholdsIdentifier (class in ScEpTIC.analysis.utils.voltage_thresholds_identifier)

W

WARAnomaly (class in ScEpTIC.emulator.intermittent_executor.anomalies) write() (ScEpTIC.emulator.memory.Memory method) (ScEpTIC.emulator.memory.virtual_global_symbol_table_unifier.VirtualGlobalSymbolTableUnifier method) (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory method) (ScEpTIC.emulator.register_file.register_file.RegisterFile method)

write_address() (ScEpTIC.emulator.register_file.physical_register_file.PhysicalRegisterFile method) (ScEpTIC.emulator.register_file.register_file.RegisterFile method) WRITE_BYTE (ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_protocol.ExternalNVMProtocolAction attribute) write_from_symbol_name() (ScEpTIC.emulator.memory.virtual_global_symbol_table.VirtualGlobalSymbolTable method) (ScEpTIC.emulator.memory.virtual_global_symbol_table_unifier.VirtualGlobalSymbolTableUnifier method) WRITE_INIT (ScEpTIC.emulator.energy.mcu_peripheral.protocol_models.external_nvm_protocol.ExternalNVMProtocolAction attribute)