Project

General

Profile

Roadmap

1.0

Features: multi-process test generation, model checking

92%

84 issues   (76 closed8 open)

1.1

No issues for this version

2.0

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

0%

18 issues   (0 closed — 18 open)