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

Subversion Repositories wbuart32

[/] [wbuart32/] - Rev 26

Filtering Options

From rev	To rev	Max revs

Search for

Rev	Log message	Author	Age	Path
26	Formally verified the TXUART core (plus others)	dgisselq	1890d 14h	/wbuart32
25		dgisselq	2091d 23h	/wbuart32
24	Fixed the broken TX interrupt flagg	dgisselq	2091d 23h	/wbuart32
23	Brought SVN repo up to date with github repo	dgisselq	2092d 00h	/wbuart32
22	Added formal methods via SymbiYosys	dgisselq	2183d 22h	/wbuart32
21	Updates based upon Formal methods	dgisselq	2183d 22h	/wbuart32
20	Added yosys-smtbmc config files for formal proofs	dgisselq	2378d 17h	/wbuart32
19	Added a directory for formal info	dgisselq	2378d 17h	/wbuart32
18	Lots of updates. See the git log for details	dgisselq	2378d 17h	/wbuart32
17	Biggest change: default_nettype Also fixed potential ufifo overload condition, and wbuart not calling txuartlite when so instructed.	dgisselq	2586d 20h	/wbuart32
16	Updated the property list for cpp directory.	dgisselq	2611d 01h	/wbuart32
15	Added a set of lite-UARTs that only handle 8N1 to the repository.	dgisselq	2611d 01h	/wbuart32
14	This version works on hardware.	dgisselq	2646d 03h	/wbuart32
13	Adjusted documentation of OPT_STANDALONE, and updated internal README files.	dgisselq	2646d 23h	/wbuart32
12	Added hardware flow control information to the specification.	dgisselq	2646d 23h	/wbuart32
11	Modified mkspeech to create both hex and include files, to tailor for the broken ISE program.	dgisselq	2646d 23h	/wbuart32
10	Adjusted for the new hardware flow control capability.	dgisselq	2646d 23h	/wbuart32
9	Added a hardware flow control capability.	dgisselq	2646d 23h	/wbuart32
8	Updated the documents to reference the new testbenches.	dgisselq	2678d 02h	/wbuart32
7	Moved the definition of state to before its first usage.	dgisselq	2678d 02h	/wbuart32

1 2 Next >

Show All

Browse

Tools

Subversion Repositories wbuart32

[/] [wbuart32/] - Rev 26

Filtering Options