Instruction tracing

[elatalhm]

Hi,

I wanted to ask if there is any way to get an instruction trace when simulating the core using bluesim? The README mentions "Tandem Verification", but there is no documentation or contact information to get it. Thank you.