diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-06-02 12:54:35 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-06-02 12:54:35 +0100 |
| commit | 12a74a1841ffb5842af029ffcce77c3e765e00f8 (patch) | |
| tree | 06a53e5f9485ecd7bc6585c6909ac1d083ec1b45 | |
| parent | 43e074229c4ea859e66035c716d8bb4fcd037c90 (diff) | |
| download | verismith-12a74a1841ffb5842af029ffcce77c3e765e00f8.tar.gz verismith-12a74a1841ffb5842af029ffcce77c3e765e00f8.zip | |
Add fix to synthesise correctly with Quartus without MAC
| -rw-r--r-- | src/VeriFuzz/Sim/Quartus.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/VeriFuzz/Sim/Quartus.hs b/src/VeriFuzz/Sim/Quartus.hs index 4007004..a099495 100644 --- a/src/VeriFuzz/Sim/Quartus.hs +++ b/src/VeriFuzz/Sim/Quartus.hs @@ -53,9 +53,10 @@ runSynthQuartus sim (SourceInfo top src) = do dir <- liftSh pwd let ex = execute_ SynthFail dir "quartus" liftSh . writefile inpf $ genSource src + liftSh . noPrint $ run_ "sed" ["-i", "s/^module/(* multstyle = \"logic\" *) module/;", toTextIgnore inpf] ex (exec "quartus_map") [top, "--source=" <> toTextIgnore inpf, "--family=Cyclone V"] - ex (exec "quartus_fit") [top, "--part=5CGTFD9E5F35C7N"] + ex (exec "quartus_fit") [top, "--part=5CGXFC7D6F31C6"] ex (exec "quartus_eda") [top, "--simulation", "--tool=vcs"] liftSh $ do cp (fromText "simulation/vcs" </> fromText top <.> "vo") |