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

Subversion Repositories wbuart32

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

Rev	Log message	Author	Age	Path
26	Formally verified the TXUART core (plus others)	dgisselq	1904d 20h	/wbuart32/trunk/rtl
24	Fixed the broken TX interrupt flagg	dgisselq	2106d 05h	/wbuart32/trunk/rtl
23	Brought SVN repo up to date with github repo	dgisselq	2106d 06h	/wbuart32/trunk/rtl
21	Updates based upon Formal methods	dgisselq	2198d 04h	/wbuart32/trunk/rtl
18	Lots of updates. See the git log for details	dgisselq	2393d 00h	/wbuart32/trunk/rtl
17	Biggest change: default_nettype Also fixed potential ufifo overload condition, and wbuart not calling txuartlite when so instructed.	dgisselq	2601d 02h	/wbuart32/trunk/rtl
15	Added a set of lite-UARTs that only handle 8N1 to the repository.	dgisselq	2625d 07h	/wbuart32/trunk/rtl
14	This version works on hardware.	dgisselq	2660d 09h	/wbuart32/trunk/rtl
9	Added a hardware flow control capability.	dgisselq	2661d 06h	/wbuart32/trunk/rtl
7	Moved the definition of state to before its first usage.	dgisselq	2692d 08h	/wbuart32/trunk/rtl
6	Lots of changes--see the git log for the full details.	dgisselq	2695d 11h	/wbuart32/trunk/rtl
5	Created independent peripheral, several toplevel tests, and updated documentation to match.	dgisselq	2705d 21h	/wbuart32/trunk/rtl
2	A first version to be checked in. The rxuart.v and txuart.v files have been well tested elsewhere, although the test setup here has not been as well tested. Still, type 'make test' in the base directory and you will get an assurance that the entire thing works--if you would like.	dgisselq	2839d 06h	/wbuart32/trunk/rtl