Rev |
Log message |
Author |
Age |
Path |
26 |
Formally verified the TXUART core (plus others) |
dgisselq |
1914d 22h |
/ |
25 |
|
dgisselq |
2116d 07h |
/ |
24 |
Fixed the broken TX interrupt flagg |
dgisselq |
2116d 07h |
/ |
23 |
Brought SVN repo up to date with github repo |
dgisselq |
2116d 07h |
/ |
22 |
Added formal methods via SymbiYosys |
dgisselq |
2208d 06h |
/ |
21 |
Updates based upon Formal methods |
dgisselq |
2208d 06h |
/ |
20 |
Added yosys-smtbmc config files for formal proofs |
dgisselq |
2403d 01h |
/ |
19 |
Added a directory for formal info |
dgisselq |
2403d 01h |
/ |
18 |
Lots of updates. See the git log for details |
dgisselq |
2403d 01h |
/ |
17 |
Biggest change: default_nettype
Also fixed potential ufifo overload condition, and wbuart not calling
txuartlite when so instructed. |
dgisselq |
2611d 03h |
/ |
16 |
Updated the property list for cpp directory. |
dgisselq |
2635d 08h |
/ |
15 |
Added a set of lite-UARTs that only handle 8N1 to the repository. |
dgisselq |
2635d 08h |
/ |
14 |
This version works on hardware. |
dgisselq |
2670d 10h |
/ |
13 |
Adjusted documentation of OPT_STANDALONE, and updated internal README files. |
dgisselq |
2671d 06h |
/ |
12 |
Added hardware flow control information to the specification. |
dgisselq |
2671d 07h |
/ |
11 |
Modified mkspeech to create both hex and include files, to tailor for the broken ISE program. |
dgisselq |
2671d 07h |
/ |
10 |
Adjusted for the new hardware flow control capability. |
dgisselq |
2671d 07h |
/ |
9 |
Added a hardware flow control capability. |
dgisselq |
2671d 07h |
/ |
8 |
Updated the documents to reference the new testbenches. |
dgisselq |
2702d 10h |
/ |
7 |
Moved the definition of state to before its first usage. |
dgisselq |
2702d 10h |
/ |
6 |
Lots of changes--see the git log for the full details. |
dgisselq |
2705d 12h |
/ |
5 |
Created independent peripheral, several toplevel tests, and updated documentation to match. |
dgisselq |
2715d 23h |
/ |
4 |
"make clean" now works, with the added -rf to the rm commands. |
dgisselq |
2842d 12h |
/ |
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 |
2845d 13h |
/ |
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 |
2849d 07h |
/ |
1 |
The project and the structure was created |
root |
2849d 19h |
/ |