From eb221fa1954584293b9170fecc74bfb844fdbc07 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Sat, 2 Dec 2023 05:43:49 -0800
Subject: [PATCH] Add links to the three Verilog standards

---
 src/verilog/README | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/src/verilog/README b/src/verilog/README
index 556283860..b4ccdc271 100644
--- a/src/verilog/README
+++ b/src/verilog/README
@@ -1,3 +1,12 @@
+Verilog 1995:
+https://ieeexplore.ieee.org/document/803556
+
+Verilog 2001:
+https://ieeexplore.ieee.org/document/954909
+
+Verilog 2005:
+https://ieeexplore.ieee.org/document/1620780
+
 System Verilog 2009:
 http://ieeexplore.ieee.org/servlet/opac?punumber=5354133