m2isar.backends.coredsl2.writer

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

Attributes

logger

Functions

write_cdsl_splitted(model_obj, out_path[, ext, ...])
write_cdsl_default(model_obj, out_path[, metrics, ...])
main()	Main app entrypoint.

Module Contents

logger

write_cdsl_splitted(model_obj, out_path, ext: str = 'core_desc', metrics=None, writer_cls=None, writer_kwargs=None)

write_cdsl_default(model_obj, out_path, metrics=None, writer_cls=None, writer_kwargs=None)

main()

Main app entrypoint.