From 9fb10aaf47e603d9c8f51d9a22dadc611e736741 Mon Sep 17 00:00:00 2001 From: tmeissner Date: Thu, 26 Mar 2020 14:34:02 +0100 Subject: [PATCH] Add formal tests to readme --- README.md | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 24db89a..22fb1f3 100644 --- a/README.md +++ b/README.md @@ -13,7 +13,7 @@ Instead it serves more as an example how to implement various things in VHDL and (Non-)synthesizable components for testbenches ##### AssertP (Deprecated, better use Alerts from OSVVM instead) -Package with various assertion procedures. +Package with various assertion procedures. * `assert_true(x[, str, level])` checks if boolean x = false * `assert_false(x[, str, level])` checks if boolean x = false @@ -59,7 +59,7 @@ Simple WishBone bus master with support of classic single write & read Simple WishBone bus slave with support of classic single write & read and register backend -##test +## test Unit tests for each component ##### QueueT @@ -75,6 +75,10 @@ Unit tests for SpiMasterE and SpiSlaveE components Unit tests for WishBoneMasterE and WishBoneSlaveE components +## formal +Formal verification for selected components + + ## common Common utilities @@ -96,7 +100,7 @@ Common functions useful for simulation/synthesis ## Dependencies To run the tests, you have to install GHDL. You can get it from -[https://github.com/tgingold/ghdl/](https://github.com/tgingold/ghdl/). Your GHDL version should not be too old, because libvhdl needs VHDL-2008 support. So, it's best to get the latest stable release or build from latest sources. +[https://github.com/tgingold/ghdl/](https://github.com/tgingold/ghdl/). Your GHDL version should not be too old, because libvhdl needs VHDL-2008 support. So, it's best to get the latest stable release or build from latest sources. libvhdl uses the OSVVM library to generate random data for the unit tests. It is shipped with libvhdl as git submodule. You have to use the `--recursive` option when clone the libvhdl Repository to get it: `git clone --recursive https://git.goodcleanfun.de/tmeissner/libvhdl`