141 Commits (master)

Author SHA1 Message Date
  T. Meissner 84d9a28afb Add test of stop bit errors 2 months ago
  T. Meissner 46f41a4ece Add Uart units to README 2 months ago
  T. Meissner 03561c8635 Add coverage of injected UART bit errors 2 months ago
  T. Meissner 2ec21b0e31 Cleanup 2 months ago
  T. Meissner cad32585fc Some more report messages 2 months ago
  T. Meissner 0dba78bc86 Use odd_parity() of UtilsP package instead of local one 2 months ago
  T. Meissner b44a0d3ce4 Add simple error injection to test parity calc & check 3 months ago
  T. Meissner 8e9b061a71 Use xor_reduce() of UtilsP package 3 months ago
  T. Meissner 69c4bc5388 Add UART receive component & UART testbench 3 months ago
  T. Meissner 58327398e1 Add parity bit implementation 3 months ago
  T. Meissner 18eb27af92 Add UART transmitter component 3 months ago
  T. Meissner eacf18cc49 Use two separate jobs in one GHA workflow instead of 2 separate workflows 7 months ago
  T. Meissner 5cb77eb1a6 Add badge for formal GHA tests 7 months ago
  T. Meissner db4c115a27 Add GHA config for formal checks 7 months ago
  T. Meissner 7ecc52fc03 Remove travis config file; use GHA instead 7 months ago
  T. Meissner 2c9e8e54fe
Merge pull request #2 from eine/master 7 months ago
  eine f0608173d3 ci: add GitHub Actions 'test' workflow 7 months ago
  T. Meissner 9fb10aaf47 Add formal tests to readme 7 months ago
  T. Meissner 83d3e05757 Add bmc mode; integrate simulation PSL checks 7 months ago
  T. Meissner dd3b18ef41 Add formal verification of Wishbone components 7 months ago
  T. Meissner ea5a71fdff Use generics to set vector lenghts instead of unconstrained vectors 1 year ago
  T. Meissner dd494f0901 New Wishbone checks; Fix illegal PSL property 2 years ago
  T. Meissner 7215aed753 Add info about new project location; add info about cloning with --recursive option 2 years ago
  T. Meissner e953cda1d8 Refactoring Wishbone tests & design 2 years ago
  T. Meissner 2ee7c4d131 Replace OSVVM directory by git submodule 2 years ago
  T. Meissner 225e293de3 Add OSVVM license file [ci skip] 3 years ago
  T. Meissner a5733160f8 Move OSVVM dir to libvhdl root dir; switch to (patched) OSSV release 2017.05 3 years ago
  T. Meissner 854dfdf98f Config travis to only build master branch [ci skip] 3 years ago
  T. Meissner cab2370216 StackP is now a package with generics for type & max depth 3 years ago
  T. Meissner 87543b443e Remove VHDL-08 support files & make target for non vhdl08 supporting simulators 3 years ago
  T. Meissner 97cc66ae75 Finally fixed travis config 3 years ago
  T. Meissner 0d32530dc9 export path directly before running make 3 years ago
  T. Meissner 566c7d0a75 Add badge for travis-ci state 3 years ago
  T. Meissner ca45771353 Add support for travis-ci 3 years ago
  T. Meissner 4d5b2d2464 Update to new QueueP interface 3 years ago
  T. Meissner 2a938e28b2 QueueP is now a package with generics for type & max depth 3 years ago
  T. Meissner d3deb31065 Update link & info to GHDL 3 years ago
  T. Meissner 61eb06ee09 DictP is now a package with generics for key & type 3 years ago
  T. Meissner d80908fd7f Merge pull request #1 from cmarqu/patch-1 4 years ago
  Colin Marquardt 71d0a323e2 Typofix 4 years ago
  T. Meissner 910caa39bd Add info about intention of this library 4 years ago
  T. Meissner 2037a591e8 Set AssertP package to deprecated 4 years ago
  T. Meissner 4649f810f0 Change back to LGPL3 license 4 years ago
  T. Meissner 4086876e14 Add assert for WB reset; add coverage of Local write/read 4 years ago
  T. Meissner f8df805820 Add test of WB master local write & read at same time 4 years ago
  T. Meissner 0a7b520990 Remove coverage reports in clean target 4 years ago
  T. Meissner 5a8ff840cb Add export of PSL coverage report 4 years ago
  T. Meissner cf1798b576 Guard test for value with to_ux01() function 4 years ago
  T. Meissner cf64ef1a00 slv versions of or_ and and_ reduce now with looped combinatorals 4 years ago
  T. Meissner 44a4ee94e5 remove unused math_real library depedency 4 years ago