diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-05-06 10:31:03 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-05-06 10:31:03 +0100 |
commit | bfbddd2fded566c67849f5c651c1513ee0a275ff (patch) | |
tree | e68b226d3c08c42b55819852cf4f7c42160d2508 /src | |
parent | 326048aeac6f846d8ad52c2a66f73219426f8bea (diff) | |
download | verismith-bfbddd2fded566c67849f5c651c1513ee0a275ff.tar.gz verismith-bfbddd2fded566c67849f5c651c1513ee0a275ff.zip |
Add EMI testing
Diffstat (limited to 'src')
-rw-r--r-- | src/Verismith/EMI.hs | 11 |
1 files changed, 11 insertions, 0 deletions
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. |