Verismith.Tool.Yosys

Description

Yosys simulator implementation.

Documentation

Constructors

Yosys
Fields yosysBin :: !(Maybe FilePath) yosysDesc :: !Text yosysOutput :: !FilePath

Instances details

Show Yosys Source #
Instance details Defined in Verismith.Tool.Yosys Methods showsPrec :: Int -> Yosys -> ShowS # show :: Yosys -> String # showList :: [Yosys] -> ShowS #
NFData Yosys Source #
Instance details Defined in Verismith.Tool.Yosys Methods rnf :: Yosys -> () #
Eq Yosys Source #
Instance details Defined in Verismith.Tool.Yosys Methods (==) :: Yosys -> Yosys -> Bool # (/=) :: Yosys -> Yosys -> Bool #
Synthesiser Yosys Source #
Instance details Defined in Verismith.Tool.Yosys Methods runSynth :: Show ann => Yosys -> SourceInfo ann -> ResultSh () Source # synthOutput :: Yosys -> FilePath Source # setSynthOutput :: Yosys -> FilePath -> Yosys Source #
Tool Yosys Source #
Instance details Defined in Verismith.Tool.Yosys Methods toText :: Yosys -> Text Source #