diff options
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) |