From c10b5335e41b58141261dcdffda4e75cc00382ca Mon Sep 17 00:00:00 2001 From: "T. Meissner" Date: Sun, 3 Apr 2016 15:55:46 +0200 Subject: [PATCH] Add README.md --- README.md | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 README.md diff --git a/README.md b/README.md new file mode 100644 index 0000000..7af3ff4 --- /dev/null +++ b/README.md @@ -0,0 +1,17 @@ +# vhdl_verification + +Examples and design pattern for VHDL verification. All examples run with GHDL, the open source VHDL simulator. +You have to use the latest version of GHDL, as the examples use features which where added to GHDL very recently. + +### osvvm_fsm_coverage +Example to use OSVVMs CoveragePkg package to do FSM state coverage. State changes are used as BINS which are counted +in an object of type CovPType. The testbench accesses these state coverage data CoveragePkg procedures. So, the testbench +can react to the FSM coverage if necessary. Furthermore the state changes are checked by some PSL assertions. + +### psl_endpoint_eval_in_vhdl +Example to show a recently feature added to GHDL which allows to evaluate PSL endpoints in VHDL code. It simply defines +an PSL endpoint and sets a boolean value dependent on the value of the PSL endpoint. + +### psl_test_endpoint +This example was as test case to check the feature of evaluating PSL endpoints in VHDL, which was recently added to GHDL. +See GHDL issue [#45](https://github.com/tgingold/ghdl/issues/45) for details.