Project

General

Profile

Roadmap

1.0

Features: multi-process test generation, model checking

80%

20 issues   (8 closed12 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%

19 issues   (0 closed — 19 open)