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

Subversion Repositories wbuart32

[/] [wbuart32/] [trunk/] - Rev 26

Rev

Filtering Options

Clear current filter

Rev Log message Author Age Path
26 Formally verified the TXUART core (plus others) dgisselq 2057d 01h /wbuart32/trunk/
25 dgisselq 2258d 10h /wbuart32/trunk/
24 Fixed the broken TX interrupt flagg dgisselq 2258d 10h /wbuart32/trunk/
23 Brought SVN repo up to date with github repo dgisselq 2258d 11h /wbuart32/trunk/
22 Added formal methods via SymbiYosys dgisselq 2350d 09h /wbuart32/trunk/
21 Updates based upon Formal methods dgisselq 2350d 09h /wbuart32/trunk/
20 Added yosys-smtbmc config files for formal proofs dgisselq 2545d 04h /wbuart32/trunk/
19 Added a directory for formal info dgisselq 2545d 04h /wbuart32/trunk/
18 Lots of updates. See the git log for details dgisselq 2545d 04h /wbuart32/trunk/
17 Biggest change: default_nettype

Also fixed potential ufifo overload condition, and wbuart not calling
txuartlite when so instructed.		 dgisselq 2753d 07h /wbuart32/trunk/
16 Updated the property list for cpp directory. dgisselq 2777d 12h /wbuart32/trunk/
15 Added a set of lite-UARTs that only handle 8N1 to the repository. dgisselq 2777d 12h /wbuart32/trunk/
14 This version works on hardware. dgisselq 2812d 14h /wbuart32/trunk/
13 Adjusted documentation of OPT_STANDALONE, and updated internal README files. dgisselq 2813d 10h /wbuart32/trunk/
12 Added hardware flow control information to the specification. dgisselq 2813d 10h /wbuart32/trunk/
11 Modified mkspeech to create both hex and include files, to tailor for the broken ISE program. dgisselq 2813d 10h /wbuart32/trunk/
10 Adjusted for the new hardware flow control capability. dgisselq 2813d 10h /wbuart32/trunk/
9 Added a hardware flow control capability. dgisselq 2813d 10h /wbuart32/trunk/
8 Updated the documents to reference the new testbenches. dgisselq 2844d 13h /wbuart32/trunk/
7 Moved the definition of state to before its first usage. dgisselq 2844d 13h /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.