sail-riscv
sail-riscv copied to clipboard
Towards a defined log/trace output from the Sail model
This first comment just describes the issue(s). Follow-up comments discuss possible solutions.
Currently the Sail model writes out a log file in ASCII format. Issues:
-
Logs can become very large (a binary format would be much smaller)
-
Downstream tools (verification, trace-driven simulation, ...) have to parse ASCII text to recreate the log data
-
We haven't been precise about defining a log format, and we update it as needed in an ad hoc fashion. As a result downstream tools break when we make such changes.