Post #2177989

@penguin42@mastodon.org.uk @verijit@mastodon.social We simulate the actual verilog. So it is completly cycle accurate. I can theoretically pause the simulation at a given point and tell you the values of all verilog registers and memories. Meta-tracing is a really cool technique from JIT compilers which @cfbolz@mastodon.social has been working on for many years. Its the underlying idea we use to JIT compile the verilog for the specific program binary.