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