From 9a5d009704bd42c3a91d7dc21bc030b174aff2ea Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 26 Nov 2019 16:07:11 +0000 Subject: Update links in the readme --- README.md | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 02b5fc1..45eedc5 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,11 @@ # Verismith [![Build Status](https://travis-ci.com/ymherklotz/verismith.svg?token=qfBKKGwxeWkjDsy7e16x&branch=master)](https://travis-ci.com/ymherklotz/verismith) -Verilog Fuzzer to test the major verilog compilers by generating random, valid and deterministic Verilog. There is a [presentation](https://yannherklotz.com/docs/presentation.pdf) about Verismith and a [thesis](https://yannherklotz.com/docs/thesis.pdf) which goes over all the details of the implementation and results that were found. +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 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) It currently supports the following synthesis tools: -- cgit