From bfbddd2fded566c67849f5c651c1513ee0a275ff Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 6 May 2021 10:31:03 +0100
Subject: Add EMI testing

---
 src/Verismith/EMI.hs | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 src/Verismith/EMI.hs

(limited to 'src/Verismith/EMI.hs')

diff --git a/src/Verismith/EMI.hs b/src/Verismith/EMI.hs
new file mode 100644
index 0000000..937a037
--- /dev/null
+++ b/src/Verismith/EMI.hs
@@ -0,0 +1,11 @@
+-- |
+-- Module      : Verismith.EMI
+-- Description : Definition of the circuit graph.
+-- Copyright   : (c) 2021, Yann Herklotz
+-- License     : GPL-3
+-- Maintainer  : yann [at] yannherklotz [dot] com
+-- Stability   : experimental
+-- Portability : POSIX
+--
+-- Equivalence modulo inputs (EMI) testing.  This file should get an existing design, and spit out a
+-- modified design that is equivalent under some specific values of the extra inputs.
-- 
cgit