diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2018-11-09 21:37:29 +0000 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-11-09 21:37:29 +0000 |
| commit | e5a7cfbaeaac6a5f9ca9a7cd9883cf788417681a (patch) | |
| tree | 4458cae2b052c73fa158c1f0dddc3f98f6687bbc /src/Main.hs | |
| parent | 8e4e3c6bfdb6a34650646cbc2330377771b74313 (diff) | |
| download | verismith-e5a7cfbaeaac6a5f9ca9a7cd9883cf788417681a.tar.gz verismith-e5a7cfbaeaac6a5f9ca9a7cd9883cf788417681a.zip | |
Generate some Verilog code from graph
Diffstat (limited to 'src/Main.hs')
| -rw-r--r-- | src/Main.hs | 15 |
1 files changed, 6 insertions, 9 deletions
diff --git a/src/Main.hs b/src/Main.hs index 5eebc30..513b8cc 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -1,24 +1,21 @@ module Main where -import Data.Bits -import Test.QuickCheck hiding ((.&.)) import Data.GraphViz -import Data.Graph.Inductive.Example (clr479, dag4) -import Data.Graph.Inductive.Graph +import Data.Graph.Inductive import Data.Graph.Inductive.PatriciaTree import Data.GraphViz.Attributes.Complete -import Data.Text.Lazy import Data.GraphViz.Commands -import System.Random.MWC +import Data.Text.Lazy +import Data.Text.IO as T -import Test.VeriFuzz.Graph.Random -import Test.VeriFuzz.Types +import Test.VeriFuzz instance Labellable Gate where toLabelValue gate = StrLabel . pack $ show gate -main :: IO FilePath +main :: IO () --main = sample (arbitrary :: Gen (Circuit Input)) main = do gr <- (randomDAG 100 :: IO (Gr Gate ())) runGraphviz (graphToDot quickParams $ emap (\_ -> "") gr) Png "output.png" + T.putStrLn $ generate gr |