diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-02-27 20:33:15 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2018-02-27 20:33:15 +0100 |
| commit | 25e33d7ab8ebeb96d6a7fb842e33f35770367587 (patch) | |
| tree | ebe4be4efe31ed5092ad86969706b04f2df2095d /manual/CHAPTER_Basics.tex | |
| parent | 6f26695d9b596fe3b221334a93c5d94678582aea (diff) | |
| download | yosys-25e33d7ab8ebeb96d6a7fb842e33f35770367587.tar.gz yosys-25e33d7ab8ebeb96d6a7fb842e33f35770367587.tar.bz2 yosys-25e33d7ab8ebeb96d6a7fb842e33f35770367587.zip | |
Major redesign of Verific SVA importer
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'manual/CHAPTER_Basics.tex')
0 files changed, 0 insertions, 0 deletions