OpenCores
URL https://opencores.org/ocsvn/wbuart32/wbuart32/trunk

Subversion Repositories wbuart32

[/] - Rev 22

Rev

Go to most recent revision

Filtering Options

Clear current filter

Rev Log message Author Age Path
22 Added formal methods via SymbiYosys dgisselq 2430d 08h /
21 Updates based upon Formal methods dgisselq 2430d 08h /
20 Added yosys-smtbmc config files for formal proofs dgisselq 2625d 03h /
19 Added a directory for formal info dgisselq 2625d 03h /
18 Lots of updates. See the git log for details dgisselq 2625d 03h /
17 Biggest change: default_nettype

Also fixed potential ufifo overload condition, and wbuart not calling
txuartlite when so instructed.
dgisselq 2833d 05h /
16 Updated the property list for cpp directory. dgisselq 2857d 10h /
15 Added a set of lite-UARTs that only handle 8N1 to the repository. dgisselq 2857d 10h /
14 This version works on hardware. dgisselq 2892d 12h /
13 Adjusted documentation of OPT_STANDALONE, and updated internal README files. dgisselq 2893d 08h /
12 Added hardware flow control information to the specification. dgisselq 2893d 09h /
11 Modified mkspeech to create both hex and include files, to tailor for the broken ISE program. dgisselq 2893d 09h /
10 Adjusted for the new hardware flow control capability. dgisselq 2893d 09h /
9 Added a hardware flow control capability. dgisselq 2893d 09h /
8 Updated the documents to reference the new testbenches. dgisselq 2924d 12h /
7 Moved the definition of state to before its first usage. dgisselq 2924d 12h /
6 Lots of changes--see the git log for the full details. dgisselq 2927d 14h /
5 Created independent peripheral, several toplevel tests, and updated documentation to match. dgisselq 2938d 01h /
4 "make clean" now works, with the added -rf to the rm commands. dgisselq 3064d 14h /
3 This fixes a bug in the UARTSIM module whereby the number of counts per baud
wasn't equal to the number given in the setup. The previous version worked
for count numbers greater than 25 (where I had tested it), but not for low
count numbers like 4. This version has now been tested, and is known to work
with baud counts as low as 4.
dgisselq 3067d 15h /

1 2 Next >

Show All

powered by: WebSVN 2.1.0

© copyright 1999-2025 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.