Post #2161247
2026-04-18 11:27 UTC
RE: https://mastodon.org.uk/@penguin42/116422310180881628
@tom_verbeure The technique behind @verijit is called meta-tracing, @cfbolz has been researching it for many years. There is a bit more information and pointers to it in this comment thread https://mastodon.social/@penguin42@mastodon.org.uk/116422310260437450 if you are interested.
Replies (1)
-
@CanLehmann@mastodon.social 2026-04-18 11:34
@tom_verbeure @verijit @cfbolz It currently requires a small bit of annotation in the form of an external JSON file. While writing these annotations is very manageable in my opinion, we are investigating a couple of options to automate the annotation process. The Verilog itself does not have to be modified at all. You just place it into a testbench and then simulate it. Our simulator does a whole bunch of optimizations and the just in time compilation automatically.