diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-02-26 14:31:58 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2018-02-26 14:31:58 +0100 |
| commit | d1cb5150aaf1f08194385ebc88eea1168366f7d3 (patch) | |
| tree | fe7d98b4985a65f390a6943c60a2be48178adecf /frontends/verific/verific.cc | |
| parent | d31584c649c54641f497244b3bee5067801251e7 (diff) | |
| download | yosys-d1cb5150aaf1f08194385ebc88eea1168366f7d3.tar.gz yosys-d1cb5150aaf1f08194385ebc88eea1168366f7d3.tar.bz2 yosys-d1cb5150aaf1f08194385ebc88eea1168366f7d3.zip | |
Add "SVA syntax cheat sheet" comment to verificsva.cc
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'frontends/verific/verific.cc')
0 files changed, 0 insertions, 0 deletions