Roadmap

1.0

Features: multi-process test generation, model checking

78%

18 issues   (8 closed10 open)

2.0

Features: flowchart extraction and visualization, RTL-to-TLM abstraction, testbench generation (UVM and C++TESK), property and protocol specification, deadlock analysis

8%

20 issues   (0 closed — 20 open)