diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-05-18 19:16:41 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-05-18 19:16:41 +0100 |
| commit | 6c027c162bedad467bd0259d4a296dcbeff6d8aa (patch) | |
| tree | e0b4f73918d713b8d300cdda7cd8be0f23b1eb6a /src/Verismith/EMI.hs | |
| parent | 9a27120e9163d310ca920b5f8b3bdd266674e09b (diff) | |
| download | verismith-6c027c162bedad467bd0259d4a296dcbeff6d8aa.tar.gz verismith-6c027c162bedad467bd0259d4a296dcbeff6d8aa.zip | |
Add top-level argument interface for EMI
Diffstat (limited to 'src/Verismith/EMI.hs')
| -rw-r--r-- | src/Verismith/EMI.hs | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/src/Verismith/EMI.hs b/src/Verismith/EMI.hs index 6891eda..555e371 100644 --- a/src/Verismith/EMI.hs +++ b/src/Verismith/EMI.hs @@ -97,3 +97,21 @@ proceduralEMI moddecl config = do proceduralEMIIO :: ModDecl () -> Config -> IO (ModDecl ()) proceduralEMIIO t = Hog.sample . proceduralEMI t + +-- m = (head . head $ [verilog| +-- module m; +-- always @(posedge clk) begin +-- if (z == 2) begin +-- ry = 2; +-- end +-- x <= y; +-- y <= z; +-- end +-- endmodule +-- |] ^.. _Wrapped ) +-- p :: Show a => ModDecl a -> IO () +-- p = T.putStrLn . genSource +-- +-- customConfig = defaultConfig & +-- (configEMI . confEMIGenerateProb .~ 1) +-- . (configEMI . confEMINoGenerateProb .~ 0) |