Project

General

Profile

Roadmap

1.0

Features: multi-process test generation, model checking

88%

75 issues   (9 closed66 open)

2.0

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

3%

18 issues   (0 closed — 18 open)