Actions
Task #9839
closedscripts for commercial FV tools running
Start date:
09/25/2019
Due date:
% Done:
0%
Estimated time:
Detected in build:
master
Published in build:
Description
Scripts for running commerical FV tools on behcmarks. Look at: Spyglass (linter, equivalence checking), Jasper Gold
Updated by Sergey Smolov over 4 years ago
- Status changed from New to Rejected
Ticket is moved to hdl-benchmarks project
Actions