Project

General

Profile

Roadmap

1.0

Features: multi-process test generation, model checking

89%

74 issues   (9 closed65 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)