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	1857d 08h	/wbuart32/
25		dgisselq	2058d 17h	/wbuart32/
24	Fixed the broken TX interrupt flagg	dgisselq	2058d 17h	/wbuart32/
23	Brought SVN repo up to date with github repo	dgisselq	2058d 17h	/wbuart32/
22	Added formal methods via SymbiYosys	dgisselq	2150d 15h	/wbuart32/
21	Updates based upon Formal methods	dgisselq	2150d 15h	/wbuart32/
20	Added yosys-smtbmc config files for formal proofs	dgisselq	2345d 11h	/wbuart32/
19	Added a directory for formal info	dgisselq	2345d 11h	/wbuart32/
18	Lots of updates. See the git log for details	dgisselq	2345d 11h	/wbuart32/
17	Biggest change: default_nettype Also fixed potential ufifo overload condition, and wbuart not calling txuartlite when so instructed.	dgisselq	2553d 13h	/wbuart32/
16	Updated the property list for cpp directory.	dgisselq	2577d 18h	/wbuart32/
15	Added a set of lite-UARTs that only handle 8N1 to the repository.	dgisselq	2577d 18h	/wbuart32/
14	This version works on hardware.	dgisselq	2612d 20h	/wbuart32/
13	Adjusted documentation of OPT_STANDALONE, and updated internal README files.	dgisselq	2613d 16h	/wbuart32/
12	Added hardware flow control information to the specification.	dgisselq	2613d 17h	/wbuart32/
11	Modified mkspeech to create both hex and include files, to tailor for the broken ISE program.	dgisselq	2613d 17h	/wbuart32/
10	Adjusted for the new hardware flow control capability.	dgisselq	2613d 17h	/wbuart32/
9	Added a hardware flow control capability.	dgisselq	2613d 17h	/wbuart32/
8	Updated the documents to reference the new testbenches.	dgisselq	2644d 20h	/wbuart32/
7	Moved the definition of state to before its first usage.	dgisselq	2644d 20h	/wbuart32/

1 2 Next >

Show All

Browse

Tools

Subversion Repositories wbuart32

[/] [wbuart32/] - Rev 26

Filtering Options