diff options
author | Clifford Wolf <clifford@clifford.at> | 2019-03-01 14:29:17 -0800 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2019-03-01 14:29:17 -0800 |
commit | a02d61576ec42931ed3a67c6900bcd5aeddaf8b8 (patch) | |
tree | 99e63f8b4b9a983f4e3423087d2e34ba0ae49c0e /frontends/verific/README | |
parent | 03237de68605bb6eae73b96379faab0af6f8ce73 (diff) | |
download | yosys-a02d61576ec42931ed3a67c6900bcd5aeddaf8b8.tar.gz yosys-a02d61576ec42931ed3a67c6900bcd5aeddaf8b8.tar.bz2 yosys-a02d61576ec42931ed3a67c6900bcd5aeddaf8b8.zip |
Minor improvements in README
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'frontends/verific/README')
0 files changed, 0 insertions, 0 deletions