blob: 937a03788c8c1db479e0733dcdf4888e1fe898c5 (
plain)
1
2
3
4
5
6
7
8
9
10
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.
|