Index

A

A0 (class in a0) addr2line() (in module utils)

AssemblyHandler (class in asm) attribute_and_value() (grammars.transformers.FaultReportFaultListTransformer method) attributes() (grammars.transformers.FaultReportFaultListTransformer method)

C

cast_attribute() (zoix.Fault method) Codeline (class in asm) Compilation (class in zoix) compile_assembly() (in module utils)

compile_sources() (zoix.ZoixInvoker method) compute_coverage() (zoix.TxtFaultReport method) config module

D

data (asm.Codeline attribute)

E

entries() (grammars.transformers.TraceTransformerCV32E40P method) ERROR (zoix.Compilation attribute)

evaluate() (a0.A0 static method) execute() (zoix.ZoixInvoker static method) extract() (zoix.TxtFaultReport method)

F

Fault (class in zoix) fault() (grammars.transformers.FaultReportFaultListTransformer method) fault_info() (grammars.transformers.FaultReportFaultListTransformer method) fault_simulate() (zoix.ZoixInvoker method) fault_status() (grammars.transformers.FaultReportFaultListTransformer method) fault_statuses() (grammars.transformers.FaultReportStatusGroupsTransformer method) fault_type() (grammars.transformers.FaultReportFaultListTransformer method) FaultReportCoverageTransformer (class in grammars.transformers)

FaultReportFaultListTransformer (class in grammars.transformers) FaultReportStatusGroupsTransformer (class in grammars.transformers) FaultReportTransformerFactory (class in grammars.transformers) FaultSimulation (class in zoix) filter_out_discards() (grammars.transformers.FaultReportFaultListTransformer static method) format_time() (utils.Timer method) formula() (grammars.transformers.FaultReportCoverageTransformer method) FSIM_ERROR (zoix.FaultSimulation attribute)

G

get() (zoix.Fault method) get_asm_source() (asm.AssemblyHandler method) get_candidate() (asm.AssemblyHandler method) get_code() (asm.AssemblyHandler method) get_logger() (in module utils)

get_mnemonics() (asm.ISA method) get_random_candidate() (asm.AssemblyHandler method) grammars.transformers module group() (grammars.transformers.FaultReportStatusGroupsTransformer method)

H

header() (grammars.transformers.TraceTransformerCV32E40P method)

I

is_instruction() (asm.ISA method)

is_prime() (zoix.Fault method) ISA (class in asm)

L

lhs() (grammars.transformers.FaultReportCoverageTransformer method) lineno (asm.Codeline attribute) loc_and_site() (grammars.transformers.FaultReportFaultListTransformer method)

location_info() (grammars.transformers.FaultReportFaultListTransformer method) logic_simulate() (zoix.ZoixInvoker method) LogicSimulation (class in zoix)

M

module config grammars.transformers utils

O

optional_name() (grammars.transformers.FaultReportFaultListTransformer method)

P

parse_a0_configuration() (in module config) post_run() (a0.A0 method)

pre_run() (a0.A0 method) Preprocessor (class in a0) prune_candidates() (a0.Preprocessor method)

Q

query_trace_db() (a0.Preprocessor method)

R

reap_process_tree() (in module utils) reg_and_mem() (grammars.transformers.TraceTransformerCV32E40P method) remove() (asm.AssemblyHandler method) replace_toml_placeholders() (in module config)

replace_toml_regex() (in module config) restore() (asm.AssemblyHandler method) rhs() (grammars.transformers.FaultReportCoverageTransformer method) run() (a0.A0 method)

S

sanitize_a0_configuration() (in module config) save() (asm.AssemblyHandler method) set() (zoix.Fault method) setup_logger() (in module utils) SIM_ERROR (zoix.LogicSimulation attribute) Singleton (class in utils)

start() (grammars.transformers.FaultReportCoverageTransformer method) (grammars.transformers.FaultReportFaultListTransformer method) (grammars.transformers.FaultReportStatusGroupsTransformer method) (grammars.transformers.TraceTransformerCV32E40P method) SUCCESS (zoix.Compilation attribute) (zoix.FaultSimulation attribute) (zoix.LogicSimulation attribute)

T

TIMEOUT (zoix.FaultSimulation attribute) (zoix.LogicSimulation attribute) Timer (class in utils) timing_info() (grammars.transformers.FaultReportFaultListTransformer method)

to_snake_case() (in module utils) trace() (in module utils) TraceTransformerCV32E40P (class in grammars.transformers) TraceTransformerFactory (class in grammars.transformers) TxtFaultReport (class in zoix)

U

update() (zoix.TxtFaultReport method)

utils module

V

valid_insn (asm.Codeline attribute)

Z

zip_archive() (in module utils)

ZoixInvoker (class in zoix)