T. Meissner
72726448c1
Update Spi tests to use generic queue type
3 years ago
T. Meissner
2ec21b0e31
Cleanup
4 years ago
T. Meissner
69c4bc5388
Add UART receive component & UART testbench
* New UART receive component with features similar to UART tx
* New UART simple testbench for the UART components
* TODO: checking of parity error
* Functional coverage
* Formal verification
4 years ago
T. Meissner
dd494f0901
New Wishbone checks; Fix illegal PSL property
* A lot of new checks are added to WishboneCheckerE unit
trying to implement the rules of the Wishbone spec.
* An illegal use of the suffix implication instead of logical
implicationis fixed in WishboneMasterE unit
6 years ago
T. Meissner
e953cda1d8
Refactoring Wishbone tests & design
* Add 1st initial version of WishBone checker unit
* Add Wishbone package with component & type declarations
* Replace WB slave register by dictionary
7 years ago
T. Meissner
2ee7c4d131
Replace OSVVM directory by git submodule
7 years ago
T. Meissner
a5733160f8
Move OSVVM dir to libvhdl root dir; switch to (patched) OSSV release 2017.05
7 years ago
T. Meissner
87543b443e
Remove VHDL-08 support files & make target for non vhdl08 supporting simulators
7 years ago
T. Meissner
2a938e28b2
QueueP is now a package with generics for type & max depth
7 years ago
T. Meissner
0a7b520990
Remove coverage reports in clean target
9 years ago
T. Meissner
5a8ff840cb
Add export of PSL coverage report
9 years ago
T. Meissner
d6ce7b4ff3
Replace directed Wishbone tests by coverage driven ones
Instead of using directed tests we switch to coverage driven ones
by using OSVVM capabilities.
9 years ago
T. Meissner
575d85b4f5
Add a stack protected type t_stack in new package StackP
A new stack implementation is added. It's a protected type t_stack,
included in the StackP package. It has the same methods like the
t_queue types but implements a stack logic instead of a queue one.
The t_stack type is tested in the StackT testbench.
9 years ago
T. Meissner
73c00e46af
Add UtilsP.o dependency to wishbonet rule
9 years ago
T. Meissner
021bab3762
Add PSL assertions to check WishBone & Local IF
Various new PSL assertions to check ports during Wishbone write & read
transfer and reset state
9 years ago
T. Meissner
5dc214deb1
Add DictP tests; replace osvvm_2.1 by 2014.01; refactoring
9 years ago
T. Meissner
dfa39921bb
add forgotten vhdl2008 dependenciy to queuet target
10 years ago
T. Meissner
7d60f0ae1b
add simple wishbone master and slave with support of classic single write and read as specified in the wishbone spec b4; add unit tests for wishbone m,aster & slave
10 years ago
T. Meissner
4acbb3c425
using osvvm randompkg to randomize stimuli in SimT tests
10 years ago
T. Meissner
81ed8e8928
moved deleting of vhdl-2008 packaged from clean to distclean target
10 years ago
T. Meissner
d8f1bf228c
fixed fileendings of VHDL-2008 packages
10 years ago
T. Meissner
595cee0200
fixed location of vhdl 2008 package files
10 years ago
T. Meissner
592893ab2b
add version 2.1 of OSVVM library; using osvvm randompkg to randomize stimuli in SpiT tests
10 years ago
T. Meissner
cd72e16a7e
removed forgotten references to deleted StringP.vhd package
10 years ago
T. Meissner
76f15e8c76
integrate VHDL-08 libraries
10 years ago
T. Meissner
5dd42b80a2
add synthesizable and configurable SPI master component and enhance unit test
10 years ago
T. Meissner
c9fc7388c9
add synthesizable configurable SPI slave component and unit test
10 years ago
T. Meissner
ac5925c717
add synthesizable configurable SPI slave component and unit test
10 years ago
T. Meissner
58478fa5f0
add new SimP package with various general useful testbench procedures like spi master & slave
10 years ago
T. Meissner
990a511776
compile all packages in library 'libvhdl' now & use the library in the testbenches
10 years ago
T. Meissner
1314da2738
add StringP & AssertP source files to Queuet target
10 years ago
T. Meissner
fe2e5a5c7e
added new StringP (string conversion functions) and unit test for it
10 years ago
T. Meissner
f4d72942b0
initial commit of simple queue design file & testbench
10 years ago