Rev |
Log message |
Author |
Age |
Path |
26 |
Formally verified the TXUART core (plus others) |
dgisselq |
1987d 13h |
/ |
25 |
|
dgisselq |
2188d 22h |
/ |
24 |
Fixed the broken TX interrupt flagg |
dgisselq |
2188d 22h |
/ |
23 |
Brought SVN repo up to date with github repo |
dgisselq |
2188d 22h |
/ |
22 |
Added formal methods via SymbiYosys |
dgisselq |
2280d 21h |
/ |
21 |
Updates based upon Formal methods |
dgisselq |
2280d 21h |
/ |
20 |
Added yosys-smtbmc config files for formal proofs |
dgisselq |
2475d 16h |
/ |
19 |
Added a directory for formal info |
dgisselq |
2475d 16h |
/ |
18 |
Lots of updates. See the git log for details |
dgisselq |
2475d 16h |
/ |
17 |
Biggest change: default_nettype
Also fixed potential ufifo overload condition, and wbuart not calling
txuartlite when so instructed. |
dgisselq |
2683d 19h |
/ |
16 |
Updated the property list for cpp directory. |
dgisselq |
2707d 23h |
/ |
15 |
Added a set of lite-UARTs that only handle 8N1 to the repository. |
dgisselq |
2707d 23h |
/ |
14 |
This version works on hardware. |
dgisselq |
2743d 02h |
/ |
13 |
Adjusted documentation of OPT_STANDALONE, and updated internal README files. |
dgisselq |
2743d 22h |
/ |
12 |
Added hardware flow control information to the specification. |
dgisselq |
2743d 22h |
/ |
11 |
Modified mkspeech to create both hex and include files, to tailor for the broken ISE program. |
dgisselq |
2743d 22h |
/ |
10 |
Adjusted for the new hardware flow control capability. |
dgisselq |
2743d 22h |
/ |
9 |
Added a hardware flow control capability. |
dgisselq |
2743d 22h |
/ |
8 |
Updated the documents to reference the new testbenches. |
dgisselq |
2775d 01h |
/ |
7 |
Moved the definition of state to before its first usage. |
dgisselq |
2775d 01h |
/ |
6 |
Lots of changes--see the git log for the full details. |
dgisselq |
2778d 03h |
/ |
5 |
Created independent peripheral, several toplevel tests, and updated documentation to match. |
dgisselq |
2788d 14h |
/ |
4 |
"make clean" now works, with the added -rf to the rm commands. |
dgisselq |
2915d 03h |
/ |
3 |
This fixes a bug in the UARTSIM module whereby the number of counts per baud
wasn't equal to the number given in the setup. The previous version worked
for count numbers greater than 25 (where I had tested it), but not for low
count numbers like 4. This version has now been tested, and is known to work
with baud counts as low as 4. |
dgisselq |
2918d 04h |
/ |
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 |
2921d 23h |
/ |
1 |
The project and the structure was created |
root |
2922d 11h |
/ |