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