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

Subversion Repositories wbuart32

[/] [wbuart32/] [trunk/] - Rev 23

Rev

Go to most recent revision

Filtering Options

Clear current filter

Rev Log message Author Age Path
23 Brought SVN repo up to date with github repo dgisselq 2091d 23h /wbuart32/trunk/
22 Added formal methods via SymbiYosys dgisselq 2183d 21h /wbuart32/trunk/
21 Updates based upon Formal methods dgisselq 2183d 21h /wbuart32/trunk/
20 Added yosys-smtbmc config files for formal proofs dgisselq 2378d 16h /wbuart32/trunk/
19 Added a directory for formal info dgisselq 2378d 16h /wbuart32/trunk/
18 Lots of updates. See the git log for details dgisselq 2378d 16h /wbuart32/trunk/
17 Biggest change: default_nettype

Also fixed potential ufifo overload condition, and wbuart not calling
txuartlite when so instructed.		 dgisselq 2586d 19h /wbuart32/trunk/
16 Updated the property list for cpp directory. dgisselq 2611d 00h /wbuart32/trunk/
15 Added a set of lite-UARTs that only handle 8N1 to the repository. dgisselq 2611d 00h /wbuart32/trunk/
14 This version works on hardware. dgisselq 2646d 02h /wbuart32/trunk/
13 Adjusted documentation of OPT_STANDALONE, and updated internal README files. dgisselq 2646d 22h /wbuart32/trunk/
12 Added hardware flow control information to the specification. dgisselq 2646d 22h /wbuart32/trunk/
11 Modified mkspeech to create both hex and include files, to tailor for the broken ISE program. dgisselq 2646d 22h /wbuart32/trunk/
10 Adjusted for the new hardware flow control capability. dgisselq 2646d 22h /wbuart32/trunk/
9 Added a hardware flow control capability. dgisselq 2646d 22h /wbuart32/trunk/
8 Updated the documents to reference the new testbenches. dgisselq 2678d 01h /wbuart32/trunk/
7 Moved the definition of state to before its first usage. dgisselq 2678d 01h /wbuart32/trunk/
6 Lots of changes--see the git log for the full details. dgisselq 2681d 03h /wbuart32/trunk/
5 Created independent peripheral, several toplevel tests, and updated documentation to match. dgisselq 2691d 14h /wbuart32/trunk/
4 "make clean" now works, with the added -rf to the rm commands. dgisselq 2818d 03h /wbuart32/trunk/

1 2 Next >

Show All

powered by: WebSVN 2.1.0

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