Verismith.Tool.Vivado

Vivado Synthesiser implementation.

Documentation

data Vivado

Constructors

Vivado

Fields

• vivadoBin :: !(Maybe FilePath)
• vivadoDesc :: !Text
• vivadoOutput :: !FilePath

Instances

Eq Vivado

Defined in Verismith.Tool.Vivado

Methods

(==) :: Vivado -> Vivado -> Bool

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

Show Vivado

Defined in Verismith.Tool.Vivado

Methods

showsPrec :: Int -> Vivado -> ShowS

show :: Vivado -> String

showList :: [Vivado] -> ShowS

NFData Vivado

Defined in Verismith.Tool.Vivado

Methods

rnf :: Vivado -> ()

Synthesiser Vivado

Defined in Verismith.Tool.Vivado

Methods

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

synthOutput :: Vivado -> FilePath

setSynthOutput :: Vivado -> FilePath -> Vivado

Tool Vivado

Defined in Verismith.Tool.Vivado

Methods

toText :: Vivado -> Text

defaultVivado :: Vivado