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

Subversion Repositories wbuart32

[/] - Rev 23

Filtering Options

From rev	To rev	Max revs

Search for

Rev	Log message	Author	Age	Path
23	Brought SVN repo up to date with github repo	dgisselq	2338d 12h	/
22	Added formal methods via SymbiYosys	dgisselq	2430d 10h	/
21	Updates based upon Formal methods	dgisselq	2430d 10h	/
20	Added yosys-smtbmc config files for formal proofs	dgisselq	2625d 05h	/
19	Added a directory for formal info	dgisselq	2625d 05h	/
18	Lots of updates. See the git log for details	dgisselq	2625d 05h	/
17	Biggest change: default_nettype Also fixed potential ufifo overload condition, and wbuart not calling txuartlite when so instructed.	dgisselq	2833d 08h	/
16	Updated the property list for cpp directory.	dgisselq	2857d 13h	/
15	Added a set of lite-UARTs that only handle 8N1 to the repository.	dgisselq	2857d 13h	/
14	This version works on hardware.	dgisselq	2892d 15h	/
13	Adjusted documentation of OPT_STANDALONE, and updated internal README files.	dgisselq	2893d 11h	/
12	Added hardware flow control information to the specification.	dgisselq	2893d 11h	/
11	Modified mkspeech to create both hex and include files, to tailor for the broken ISE program.	dgisselq	2893d 11h	/
10	Adjusted for the new hardware flow control capability.	dgisselq	2893d 11h	/
9	Added a hardware flow control capability.	dgisselq	2893d 11h	/
8	Updated the documents to reference the new testbenches.	dgisselq	2924d 14h	/
7	Moved the definition of state to before its first usage.	dgisselq	2924d 14h	/
6	Lots of changes--see the git log for the full details.	dgisselq	2927d 16h	/
5	Created independent peripheral, several toplevel tests, and updated documentation to match.	dgisselq	2938d 03h	/
4	"make clean" now works, with the added -rf to the rm commands.	dgisselq	3064d 16h	/

1 2 Next >

Show All

Browse

Tools

Subversion Repositories wbuart32

[/] - Rev 23

Filtering Options