aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Sim/Quartus.hs
diff options
context:
space:
mode:
authorYann Herklotz <git@ymhg.org>2019-04-17 19:19:14 +0100
committerYann Herklotz <git@ymhg.org>2019-04-17 19:19:14 +0100
commit56583318135a6a281d0f880637d5e0408ef690ee (patch)
treeca8c0a7ba0ac3ce7af2927c911b1457417813432 /src/VeriFuzz/Sim/Quartus.hs
parent3e78950eed93462bad170b70368cc41e47c4be3c (diff)
downloadverismith-56583318135a6a281d0f880637d5e0408ef690ee.tar.gz
verismith-56583318135a6a281d0f880637d5e0408ef690ee.zip
Add Show instances to simulators
Diffstat (limited to 'src/VeriFuzz/Sim/Quartus.hs')
-rw-r--r--src/VeriFuzz/Sim/Quartus.hs10
1 files changed, 7 insertions, 3 deletions
diff --git a/src/VeriFuzz/Sim/Quartus.hs b/src/VeriFuzz/Sim/Quartus.hs
index bed20ed..0463009 100644
--- a/src/VeriFuzz/Sim/Quartus.hs
+++ b/src/VeriFuzz/Sim/Quartus.hs
@@ -24,7 +24,10 @@ import VeriFuzz.Verilog.AST
import VeriFuzz.Verilog.CodeGen
newtype Quartus = Quartus { quartusBin :: Maybe FilePath }
- deriving (Eq, Show)
+ deriving (Eq)
+
+instance Show Quartus where
+ show _ = "quartus"
instance Tool Quartus where
toText _ = "quartus"
@@ -42,8 +45,9 @@ runSynthQuartus sim (SourceInfo top src) outf = do
liftSh $ do
writefile inpf $ genSource src
echoP "Running Quartus synthesis"
- ex (exec "quartus_map") [top, "--source=" <> toTextIgnore inpf, "--family=Cyclone V"]
- ex (exec "quartus_fit") [top, "--part=5CGXFC7D6F27C6"]
+ ex (exec "quartus_map")
+ [top, "--source=" <> toTextIgnore inpf, "--family=Cyclone V"]
+ ex (exec "quartus_fit") [top, "--part=5CGXFC7D6F31C6"]
ex (exec "quartus_eda") [top, "--simulation", "--tool=vcs"]
liftSh $ do
cp (fromText "simulation/vcs" </> fromText top <.> "vo") outf