From 0fcf8b96445d1ec4b4dafad11d08ec9afe812ca8 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 26 Nov 2019 16:08:01 +0000 Subject: Update link to paper --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README.md') diff --git a/README.md b/README.md index 45eedc5..90ce5c2 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@ Verilog Fuzzer to test the major verilog compilers by generating random, valid and deterministic Verilog. The following resources provide more details about the in depth implementation of Verismith: -- [Verismith paper](https://yannherklotz.com/docs/verismith/verismith_paper.pdf) +- [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) -- cgit