From d9258cd3d7cf8474436134a75cfc5ff48b5beff0 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Mon, 20 May 2019 17:00:56 +0100
Subject: Only compare against the identity synth

---
 src/VeriFuzz/Fuzz.hs        | 5 +++--
 src/VeriFuzz/Sim/Quartus.hs | 2 +-
 2 files changed, 4 insertions(+), 3 deletions(-)

(limited to 'src/VeriFuzz')

diff --git a/src/VeriFuzz/Fuzz.hs b/src/VeriFuzz/Fuzz.hs
index f9ac5e1..19f9dce 100644
--- a/src/VeriFuzz/Fuzz.hs
+++ b/src/VeriFuzz/Fuzz.hs
@@ -152,8 +152,9 @@ toSynthResult a b = flip applyList b $ uncurry SynthResult <$> a
 equivalence :: (MonadBaseControl IO m, MonadSh m) => SourceInfo -> Fuzz m ()
 equivalence src = do
     synth <- passedSynthesis
-    let synthComb =
-            nubBy tupEq . filter (uncurry (/=)) $ combinations synth synth
+--    let synthComb =
+--            nubBy tupEq . filter (uncurry (/=)) $ combinations synth synth
+    let synthComb = nubBy tupEq . filter (uncurry (/=)) $ (,) defaultIdentitySynth <$> synth
     results <- liftSh $ mapM (uncurry equiv) synthComb
     synthResults .= toSynthResult synthComb results
     liftSh $ inspect results
diff --git a/src/VeriFuzz/Sim/Quartus.hs b/src/VeriFuzz/Sim/Quartus.hs
index c93603e..ece00eb 100644
--- a/src/VeriFuzz/Sim/Quartus.hs
+++ b/src/VeriFuzz/Sim/Quartus.hs
@@ -57,7 +57,7 @@ runSynthQuartus sim (SourceInfo top src) = do
         logger "Running Quartus synthesis"
     ex (exec "quartus_map")
        [top, "--source=" <> toTextIgnore inpf, "--family=Cyclone V"]
-    ex (exec "quartus_fit") [top, "--part=5CGXFC7D6F31C6"]
+    ex (exec "quartus_fit") [top, "--part=5CGTFD9E5F35C7N"]
     ex (exec "quartus_eda") [top, "--simulation", "--tool=vcs"]
     liftSh $ do
         cp (fromText "simulation/vcs" </> fromText top <.> "vo")
-- 
cgit