Verismith.Tool.Yosys

Yosys simulator implementation.

Documentation

data Yosys

Constructors

Yosys

Fields

• yosysBin :: !(Maybe FilePath)
• yosysDesc :: !Text
• yosysOutput :: !FilePath

Instances

Eq Yosys

Defined in Verismith.Tool.Yosys

Methods

(==) :: Yosys -> Yosys -> Bool

(/=) :: Yosys -> Yosys -> Bool

Show Yosys

Defined in Verismith.Tool.Yosys

Methods

showsPrec :: Int -> Yosys -> ShowS

show :: Yosys -> String

showList :: [Yosys] -> ShowS

NFData Yosys

Defined in Verismith.Tool.Yosys

Methods

rnf :: Yosys -> ()

Synthesiser Yosys

Defined in Verismith.Tool.Yosys

Methods

runSynth :: Yosys -> SourceInfo -> ResultSh ()

synthOutput :: Yosys -> FilePath

setSynthOutput :: Yosys -> FilePath -> Yosys

Tool Yosys

Defined in Verismith.Tool.Yosys

Methods

toText :: Yosys -> Text

defaultYosys :: Yosys

runEquiv :: (Synthesiser a, Synthesiser b) => Maybe Text -> FilePath -> a -> b -> SourceInfo -> ResultSh ()

runEquivYosys :: (Synthesiser a, Synthesiser b) => Yosys -> a -> b -> SourceInfo -> ResultSh ()