From d9258cd3d7cf8474436134a75cfc5ff48b5beff0 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Mon, 20 May 2019 17:00:56 +0100 Subject: Only compare against the identity synth --- src/VeriFuzz/Sim/Quartus.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/VeriFuzz/Sim/Quartus.hs') 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