diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-11-26 16:13:08 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-11-26 16:13:08 +0000 |
| commit | f1eb7fb553ad5bc3b2be3b0f648479764bb96762 (patch) | |
| tree | b924a8de3dcb9f5bda0ca02eb6163819bd2c7412 /README.md | |
| parent | 0fcf8b96445d1ec4b4dafad11d08ec9afe812ca8 (diff) | |
| download | verismith-f1eb7fb553ad5bc3b2be3b0f648479764bb96762.tar.gz verismith-f1eb7fb553ad5bc3b2be3b0f648479764bb96762.zip | |
Add more information in README
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -4,8 +4,8 @@ Verilog Fuzzer to test the major verilog compilers by generating random, valid a - [Verismith FPGA '20 preprint](https://yannherklotz.com/docs/verismith/verismith_paper.pdf) - [Verismith thesis](https://yannherklotz.com/docs/verismith/verismith_thesis.pdf) -- [Verismith slides](https://yannherklotz.com/docs/verismith/verismith_slides.pdf) -- [Verismith poster](https://yannherklotz.com/docs/verismith/verismith_poster.pdf) +- [Verismith slides](https://yannherklotz.com/docs/verismith/verismith_slides.pdf): Presented to the Circuits and Systems group at Imperial College on the 01/07/2019. +- [Verismith poster](https://yannherklotz.com/docs/verismith/verismith_poster.pdf): Presented at the [Microsoft Research PhD Workshop](https://www.microsoft.com/en-us/research/event/phd-workshop-on-next-generation-cloud-infrastructure/) on 25/11/2019. It currently supports the following synthesis tools: |