m2isar.backends.coredsl2.utils

Clean M2-ISA-R/Seal5 metamodel to .core_desc file.

Attributes

logger

Classes

CoreDSL2Writer

Module Contents

logger[source]
class CoreDSL2Writer(visitor, reduced: bool = True, skip_empty: bool = False, drop_first_op: bool = False, allowed_attrs: Set[str] | None = None)[source]
visitor[source]
reduced = True[source]
drop_first_op = False[source]
allowed_attrs[source]
defined_by_ext[source]
text = ''[source]
indent_str = '    '[source]
level = 0[source]
reset()[source]
property indent[source]
property isstartofline[source]
property needsspace[source]
write(text, nl=False)[source]
write_line(text)[source]
enter_block(br=True, nl=True)[source]
leave_block(br=True, nl=True)[source]
write_type(ty)[source]
write_attribute(attr, val=None)[source]
write_attributes(attributes)[source]
write_function(function)[source]
write_functions(functions)[source]
write_encoding_val(bitval)[source]
write_encoding_field(bitfield)[source]
write_constraints(constraints)[source]
write_encoding(encoding)[source]
write_assembly(instruction)[source]
write_behavior2(op, drop_first: bool = False)[source]
write_behavior(instruction, drop_first: bool = False)[source]
write_instruction(instruction)[source]
write_instructions(instructions)[source]
write_architectural_state(core_set_def: m2isar.metamodel.arch.CoreDef | m2isar.metamodel.arch.InstructionSet)[source]
write_set(set_def)[source]
write_parameter(parameter)[source]
write_parameters(parameters)[source]
write_register_bank(register_bank)[source]
write_register_banks(register_banks)[source]
write_register_alias(register_alias)[source]
write_register_aliases(register_aliases)[source]
write_memories(memories)[source]
write_memory(memory)[source]
write_memory_alias(memory_alias)[source]
write_memory_aliases(memory_aliases)[source]
write_core(core_def)[source]