Skip to content

Commit

Permalink
Merge pull request openhwgroup#1524 from MikeOpenHWGroup/vptool_readme
Browse files Browse the repository at this point in the history
Rename txt to README.md to take advantage of GitHub
  • Loading branch information
MikeOpenHWGroup authored Dec 6, 2022
2 parents 393e8f1 + 4000ddf commit 6113f4f
Showing 1 changed file with 11 additions and 5 deletions.
16 changes: 11 additions & 5 deletions tools/vptool/VPTOOL-readme.txt → tools/vptool/README.md
Original file line number Diff line number Diff line change
@@ -1,8 +1,9 @@
<!--
Copyright 2022 Thales DIS Design Services SAS
SPDX-License-Identifier: Apache-2.0 WITH SHL-2.0
-->
# VPtool Introduction

NOTE: This document is by no means exhaustive and is built incrementally from user experience.
Therefore, it may contain mistakes and/or it may suggest non-optimal ways of dealing with VPTOOL.

VPTOOL is a tool for creating and managing Verification Plans. It supports concurrent editing
at the granularity of Features: each Feature can be locked by a different user.
The lock is persistent and must be explicitly released in order to let another user edit
Expand All @@ -20,6 +21,11 @@ The labels and cue texts of VPTOOL are customizable by means of a configuration
tool can be tailored to the needs of a site, e.g., to use local customary names of verification
concepts.

## Issue Reporting

VPTOOL is in active development and is not fully tested.
If you encounter a problem with VPTOOL, please open an issue on this repository (with our thanks!).

## Prerequisites

* Python3: VPTOOL is fully Python3-compliant. You need a recent version of Python3 with default
Expand Down Expand Up @@ -102,7 +108,7 @@ shell script named `vptool-example.sh` which can be invoked from any location.
sh vptool-example/runme.sh

This will load all per-feature Verification Plans present in the `SAVED_DB_LOCATION` variable.
The corresponding path is `vptool-example/example-database/ip_dir/core-v/cva6/*.pck` as defined
The corresponding path is `vptool-example/example-database/ip_dir/core-v/cva6/\*.pck` as defined
in the configuration file `vptool-example/example-database/vptool/vp_config.py`.

The New and Delete buttons at the bottom of the Feature, Sub-Feature and Verification Item selectors
Expand Down Expand Up @@ -132,7 +138,7 @@ shell script named `vptool-example.sh` which can be invoked from any location.

The Item Description information appears in the right-hand pane. You can edit the text fields and
change the setting of radio button selectors.

Changes to drop-down selectors and check buttons take effect immediately. Changes to text fields
require a confirmation by pressing the `Save` button. Unwanted text changes be discarded by pressing
the `Cancel` button. Both buttons are only active when the Feature is locked and at least one text
Expand Down

0 comments on commit 6113f4f

Please sign in to comment.