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

Subversion Repositories wbuart32

[/] [wbuart32/] [trunk/] [rtl/] [txuartlite.v] - Rev 26

Rev	Log message	Author	Age	Path
26	Formally verified the TXUART core (plus others)	dgisselq	1872d 22h	/wbuart32/trunk/rtl/txuartlite.v
21	Updates based upon Formal methods	dgisselq	2166d 06h	/wbuart32/trunk/rtl/txuartlite.v
18	Lots of updates. See the git log for details	dgisselq	2361d 02h	/wbuart32/trunk/rtl/txuartlite.v
17	Biggest change: default_nettype Also fixed potential ufifo overload condition, and wbuart not calling txuartlite when so instructed.	dgisselq	2569d 04h	/wbuart32/trunk/rtl/txuartlite.v
15	Added a set of lite-UARTs that only handle 8N1 to the repository.	dgisselq	2593d 09h	/wbuart32/trunk/rtl/txuartlite.v