Safe Haskell	Safe-Inferred
Language	Haskell2010

Yosys.Rtl

Contents

Lexical elements
File

Description

Yosys RTLIL

Synopsis

newtype Ident = Ident Text
data Value = Value Integer [BinaryDigit]
data BinaryDigit
- = B0
- | B1
- | X
- | Z
- | M
- | D
data File = File (Maybe AutoIdxStmt) [Module]
newtype AutoIdxStmt = AutoIdxStmt Integer
data Module = Module [AttrStmt] ModuleStmt [ModuleBody] ModuleEndStmt
newtype ModuleStmt = ModuleStmt Ident
data ModuleBody
- = ModuleBodyParamStmt ParamStmt
- | ModuleBodyWire Wire
- | ModuleBodyMemory Memory
- | ModuleBodyCell Cell
- | ModuleBodyProcess Process
- | ModuleBodyConnStmt ConnStmt
data ParamStmt = ParamStmt Ident (Maybe Constant)
data Constant
- = ConstantValue Value
- | ConstantInteger Integer
- | ConstantString Text
data ModuleEndStmt = ModuleEndStmt
data AttrStmt = AttrStmt Ident Constant
data SigSpec
- = SigSpecConstant Constant
- | SigSpecWireId WireId
- | SigSpecSlice SigSpec Integer (Maybe Integer)
- | SigSpecCat [SigSpec]
data ConnStmt = ConnStmt SigSpec SigSpec
data Wire = Wire [AttrStmt] WireStmt
data WireStmt = WireStmt [WireOption] WireId
newtype WireId = WireId Ident
data WireOption
- = WireOptionWidth Integer
- | WireOptionOffset Integer
- | WireOptionInput Integer
- | WireOptionOutput Integer
- | WireOptionInout Integer
- | WireOptionUpto
- | WireOptionSigned
data Memory = Memory [AttrStmt] MemoryStmt
data MemoryStmt = MemoryStmt [MemoryOption] Ident
data MemoryOption
- = MemoryOptionWidth Integer
- | MemoryOptionSize Integer
- | MemoryOptionOffset Integer
data Cell = Cell [AttrStmt] CellStmt [CellBodyStmt] CellEndStmt
data CellStmt = CellStmt CellType CellId
newtype CellId = CellId Ident
newtype CellType = CellType Ident
data ParamType
- = Signed
- | Real
data CellBodyStmt
- = CellParameter (Maybe ParamType) Ident Constant
- | CellConnect Ident SigSpec
data CellEndStmt = CellEndStmt
unaryCell :: CellStmt -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> Cell
notC :: CellId -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> Cell
posC :: CellId -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> Cell
negC :: CellId -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> Cell
reduceAndC :: CellId -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> Cell
reduceOrC :: CellId -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> Cell
reduceXorC :: CellId -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> Cell
reduceXnorC :: CellId -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> Cell
reduceBoolC :: CellId -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> Cell
logicNotC :: CellId -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> Cell
binaryCell :: CellStmt -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell
shiftCell :: CellStmt -> Bool -> Integer -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell
andC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell
orC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell
xorC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell
xnorC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell
shlC :: CellId -> Bool -> Integer -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell
shrC :: CellId -> Bool -> Integer -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell
sshlC :: CellId -> Bool -> Integer -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell
sshrC :: CellId -> Bool -> Integer -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell
logicAndC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell
logicOrC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell
eqxC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell
nexC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell
powC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell
ltC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell
leC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell
eqC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell
neC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell
geC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell
gtC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell
addC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell
subC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell
mulC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell
divC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell
modC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell
divFloorC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell
modFloorC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell
muxC :: CellId -> Integer -> SigSpec -> SigSpec -> SigSpec -> SigSpec -> Cell
memRdV2C :: CellId -> Constant -> Constant -> Constant -> Constant -> Constant -> Constant -> Constant -> Constant -> Constant -> Constant -> Constant -> SigSpec -> SigSpec -> SigSpec -> SigSpec -> SigSpec -> SigSpec -> Cell
memWrV2C :: CellId -> Constant -> Constant -> Constant -> Constant -> Constant -> Constant -> Constant -> SigSpec -> SigSpec -> SigSpec -> SigSpec -> Cell
memInitV2C :: CellId -> Constant -> Constant -> Constant -> Constant -> Constant -> SigSpec -> SigSpec -> Cell
memV2C :: CellId -> Constant -> Constant -> Constant -> Constant -> Constant -> Constant -> Constant -> Constant -> Constant -> Constant -> Constant -> Constant -> Constant -> Constant -> Constant -> Constant -> Constant -> Constant -> Constant -> Constant -> SigSpec -> SigSpec -> SigSpec -> SigSpec -> SigSpec -> SigSpec -> SigSpec -> SigSpec -> SigSpec -> SigSpec -> Cell
data Process = Process [AttrStmt] ProcStmt ProcessBody ProcEndStmt
newtype ProcStmt = ProcStmt Ident
data ProcessBody = ProcessBody [AssignStmt] (Maybe Switch) [AssignStmt] [Sync]
data AssignStmt = AssignStmt DestSigSpec SrcSigSpec
newtype DestSigSpec = DestSigSpec SigSpec
newtype SrcSigSpec = SrcSigSpec SigSpec
data ProcEndStmt = ProcEndStmt
data Switch = Switch SwitchStmt [Case] SwitchEndStmt
data SwitchStmt = SwitchStmt [AttrStmt] SigSpec
data Case = Case [AttrStmt] CaseStmt CaseBody
newtype CaseStmt = CaseStmt (Maybe Compare)
data Compare = Compare SigSpec [SigSpec]
newtype CaseBody = CaseBody [Either Switch AssignStmt]
data SwitchEndStmt = SwitchEndStmt
data Sync = Sync SyncStmt [UpdateStmt]
data SyncStmt
- = SyncStmt SyncType SigSpec
- | SyncStmtGlobal
- | SyncStmtInit
- | SyncStmtAlways
data SyncType
- = Low
- | High
- | Posedge
- | Negedge
- | Edge
data UpdateStmt = UpdateStmt DestSigSpec SrcSigSpec

Lexical elements

newtype Ident Source #

Constructors

Ident Text

Instances

Instances details

IsString Ident Source #
Instance details Defined in Yosys.Rtl Methods fromString :: String -> Ident #
Monoid Ident Source #
Instance details Defined in Yosys.Rtl Methods mempty :: Ident # mappend :: Ident -> Ident -> Ident # mconcat :: [Ident] -> Ident #
Semigroup Ident Source #
Instance details Defined in Yosys.Rtl Methods (<>) :: Ident -> Ident -> Ident # sconcat :: NonEmpty Ident -> Ident # stimes :: Integral b => b -> Ident -> Ident #
Read Ident Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS Ident # readList :: ReadS [Ident] # readPrec :: ReadPrec Ident # readListPrec :: ReadPrec [Ident] #
Show Ident Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> Ident -> ShowS # show :: Ident -> String # showList :: [Ident] -> ShowS #
Eq Ident Source #
Instance details Defined in Yosys.Rtl Methods (==) :: Ident -> Ident -> Bool # (/=) :: Ident -> Ident -> Bool #
Pretty Ident Source #
Instance details Defined in Yosys.Rtl Methods pretty :: Ident -> Doc ann # prettyList :: [Ident] -> Doc ann #

data Value Source #

Constructors

Value Integer [BinaryDigit]

Instances

Instances details

IsString Value Source #
Instance details Defined in Yosys.Rtl Methods fromString :: String -> Value #
Read Value Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS Value # readList :: ReadS [Value] # readPrec :: ReadPrec Value # readListPrec :: ReadPrec [Value] #
Show Value Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> Value -> ShowS # show :: Value -> String # showList :: [Value] -> ShowS #
Eq Value Source #
Instance details Defined in Yosys.Rtl Methods (==) :: Value -> Value -> Bool # (/=) :: Value -> Value -> Bool #
Pretty Value Source #
Instance details Defined in Yosys.Rtl Methods pretty :: Value -> Doc ann # prettyList :: [Value] -> Doc ann #

data BinaryDigit Source #

Constructors

B0
B1
X
Z
M
D

Instances

Instances details

IsString BinaryDigit Source #
Instance details Defined in Yosys.Rtl Methods fromString :: String -> BinaryDigit #
Read BinaryDigit Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS BinaryDigit # readList :: ReadS [BinaryDigit] # readPrec :: ReadPrec BinaryDigit # readListPrec :: ReadPrec [BinaryDigit] #
Show BinaryDigit Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> BinaryDigit -> ShowS # show :: BinaryDigit -> String # showList :: [BinaryDigit] -> ShowS #
Eq BinaryDigit Source #
Instance details Defined in Yosys.Rtl Methods (==) :: BinaryDigit -> BinaryDigit -> Bool # (/=) :: BinaryDigit -> BinaryDigit -> Bool #
Pretty BinaryDigit Source #
Instance details Defined in Yosys.Rtl Methods pretty :: BinaryDigit -> Doc ann # prettyList :: [BinaryDigit] -> Doc ann #

File

data File Source #

Constructors

File (Maybe AutoIdxStmt) [Module]

Instances

Instances details

Read File Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS File # readList :: ReadS [File] # readPrec :: ReadPrec File # readListPrec :: ReadPrec [File] #
Show File Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> File -> ShowS # show :: File -> String # showList :: [File] -> ShowS #
Eq File Source #
Instance details Defined in Yosys.Rtl Methods (==) :: File -> File -> Bool # (/=) :: File -> File -> Bool #
Pretty File Source #
Instance details Defined in Yosys.Rtl Methods pretty :: File -> Doc ann # prettyList :: [File] -> Doc ann #

Autoindex statements

newtype AutoIdxStmt Source #

Constructors

AutoIdxStmt Integer

Instances

Instances details

Num AutoIdxStmt Source #
Instance details Defined in Yosys.Rtl Methods (+) :: AutoIdxStmt -> AutoIdxStmt -> AutoIdxStmt # (-) :: AutoIdxStmt -> AutoIdxStmt -> AutoIdxStmt # (*) :: AutoIdxStmt -> AutoIdxStmt -> AutoIdxStmt # negate :: AutoIdxStmt -> AutoIdxStmt # abs :: AutoIdxStmt -> AutoIdxStmt # signum :: AutoIdxStmt -> AutoIdxStmt # fromInteger :: Integer -> AutoIdxStmt #
Read AutoIdxStmt Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS AutoIdxStmt # readList :: ReadS [AutoIdxStmt] # readPrec :: ReadPrec AutoIdxStmt # readListPrec :: ReadPrec [AutoIdxStmt] #
Show AutoIdxStmt Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> AutoIdxStmt -> ShowS # show :: AutoIdxStmt -> String # showList :: [AutoIdxStmt] -> ShowS #
Eq AutoIdxStmt Source #
Instance details Defined in Yosys.Rtl Methods (==) :: AutoIdxStmt -> AutoIdxStmt -> Bool # (/=) :: AutoIdxStmt -> AutoIdxStmt -> Bool #
Pretty AutoIdxStmt Source #
Instance details Defined in Yosys.Rtl Methods pretty :: AutoIdxStmt -> Doc ann # prettyList :: [AutoIdxStmt] -> Doc ann #

Modules

data Module Source #

Constructors

Module [AttrStmt] ModuleStmt [ModuleBody] ModuleEndStmt

Instances

Instances details

Read Module Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS Module # readList :: ReadS [Module] # readPrec :: ReadPrec Module # readListPrec :: ReadPrec [Module] #
Show Module Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> Module -> ShowS # show :: Module -> String # showList :: [Module] -> ShowS #
Eq Module Source #
Instance details Defined in Yosys.Rtl Methods (==) :: Module -> Module -> Bool # (/=) :: Module -> Module -> Bool #
Pretty Module Source #
Instance details Defined in Yosys.Rtl Methods pretty :: Module -> Doc ann # prettyList :: [Module] -> Doc ann #

newtype ModuleStmt Source #

Constructors

ModuleStmt Ident

Instances

Instances details

IsString ModuleStmt Source #
Instance details Defined in Yosys.Rtl Methods fromString :: String -> ModuleStmt #
Read ModuleStmt Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS ModuleStmt # readList :: ReadS [ModuleStmt] # readPrec :: ReadPrec ModuleStmt # readListPrec :: ReadPrec [ModuleStmt] #
Show ModuleStmt Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> ModuleStmt -> ShowS # show :: ModuleStmt -> String # showList :: [ModuleStmt] -> ShowS #
Eq ModuleStmt Source #
Instance details Defined in Yosys.Rtl Methods (==) :: ModuleStmt -> ModuleStmt -> Bool # (/=) :: ModuleStmt -> ModuleStmt -> Bool #
Pretty ModuleStmt Source #
Instance details Defined in Yosys.Rtl Methods pretty :: ModuleStmt -> Doc ann # prettyList :: [ModuleStmt] -> Doc ann #

data ModuleBody Source #

Constructors

ModuleBodyParamStmt ParamStmt
ModuleBodyWire Wire
ModuleBodyMemory Memory
ModuleBodyCell Cell
ModuleBodyProcess Process
ModuleBodyConnStmt ConnStmt

Instances

Instances details

Read ModuleBody Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS ModuleBody # readList :: ReadS [ModuleBody] # readPrec :: ReadPrec ModuleBody # readListPrec :: ReadPrec [ModuleBody] #
Show ModuleBody Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> ModuleBody -> ShowS # show :: ModuleBody -> String # showList :: [ModuleBody] -> ShowS #
Eq ModuleBody Source #
Instance details Defined in Yosys.Rtl Methods (==) :: ModuleBody -> ModuleBody -> Bool # (/=) :: ModuleBody -> ModuleBody -> Bool #
Pretty ModuleBody Source #
Instance details Defined in Yosys.Rtl Methods pretty :: ModuleBody -> Doc ann # prettyList :: [ModuleBody] -> Doc ann #

data ParamStmt Source #

Constructors

ParamStmt Ident (Maybe Constant)

Instances

Instances details

Read ParamStmt Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS ParamStmt # readList :: ReadS [ParamStmt] # readPrec :: ReadPrec ParamStmt # readListPrec :: ReadPrec [ParamStmt] #
Show ParamStmt Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> ParamStmt -> ShowS # show :: ParamStmt -> String # showList :: [ParamStmt] -> ShowS #
Eq ParamStmt Source #
Instance details Defined in Yosys.Rtl Methods (==) :: ParamStmt -> ParamStmt -> Bool # (/=) :: ParamStmt -> ParamStmt -> Bool #
Pretty ParamStmt Source #
Instance details Defined in Yosys.Rtl Methods pretty :: ParamStmt -> Doc ann # prettyList :: [ParamStmt] -> Doc ann #

data Constant Source #

Constructors

ConstantValue Value
ConstantInteger Integer
ConstantString Text

Instances

Instances details

IsString Constant Source #
Instance details Defined in Yosys.Rtl Methods fromString :: String -> Constant #
Read Constant Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS Constant # readList :: ReadS [Constant] # readPrec :: ReadPrec Constant # readListPrec :: ReadPrec [Constant] #
Show Constant Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> Constant -> ShowS # show :: Constant -> String # showList :: [Constant] -> ShowS #
Eq Constant Source #
Instance details Defined in Yosys.Rtl Methods (==) :: Constant -> Constant -> Bool # (/=) :: Constant -> Constant -> Bool #
Pretty Constant Source #
Instance details Defined in Yosys.Rtl Methods pretty :: Constant -> Doc ann # prettyList :: [Constant] -> Doc ann #

data ModuleEndStmt Source #

Constructors

ModuleEndStmt

Instances

Instances details

Read ModuleEndStmt Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS ModuleEndStmt # readList :: ReadS [ModuleEndStmt] # readPrec :: ReadPrec ModuleEndStmt # readListPrec :: ReadPrec [ModuleEndStmt] #
Show ModuleEndStmt Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> ModuleEndStmt -> ShowS # show :: ModuleEndStmt -> String # showList :: [ModuleEndStmt] -> ShowS #
Eq ModuleEndStmt Source #
Instance details Defined in Yosys.Rtl Methods (==) :: ModuleEndStmt -> ModuleEndStmt -> Bool # (/=) :: ModuleEndStmt -> ModuleEndStmt -> Bool #
Pretty ModuleEndStmt Source #
Instance details Defined in Yosys.Rtl Methods pretty :: ModuleEndStmt -> Doc ann # prettyList :: [ModuleEndStmt] -> Doc ann #

Attribute statements

data AttrStmt Source #

Constructors

AttrStmt Ident Constant

Instances

Instances details

Read AttrStmt Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS AttrStmt # readList :: ReadS [AttrStmt] # readPrec :: ReadPrec AttrStmt # readListPrec :: ReadPrec [AttrStmt] #
Show AttrStmt Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> AttrStmt -> ShowS # show :: AttrStmt -> String # showList :: [AttrStmt] -> ShowS #
Eq AttrStmt Source #
Instance details Defined in Yosys.Rtl Methods (==) :: AttrStmt -> AttrStmt -> Bool # (/=) :: AttrStmt -> AttrStmt -> Bool #
Pretty AttrStmt Source #
Instance details Defined in Yosys.Rtl Methods pretty :: AttrStmt -> Doc ann # prettyList :: [AttrStmt] -> Doc ann #

Signal specifications

data SigSpec Source #

Constructors

SigSpecConstant Constant
SigSpecWireId WireId
SigSpecSlice SigSpec Integer (Maybe Integer)
SigSpecCat [SigSpec]

Instances

Instances details

IsString SigSpec Source #
Instance details Defined in Yosys.Rtl Methods fromString :: String -> SigSpec #
Monoid SigSpec Source #
Instance details Defined in Yosys.Rtl Methods mempty :: SigSpec # mappend :: SigSpec -> SigSpec -> SigSpec # mconcat :: [SigSpec] -> SigSpec #
Semigroup SigSpec Source #
Instance details Defined in Yosys.Rtl Methods (<>) :: SigSpec -> SigSpec -> SigSpec # sconcat :: NonEmpty SigSpec -> SigSpec # stimes :: Integral b => b -> SigSpec -> SigSpec #
Read SigSpec Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS SigSpec # readList :: ReadS [SigSpec] # readPrec :: ReadPrec SigSpec # readListPrec :: ReadPrec [SigSpec] #
Show SigSpec Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> SigSpec -> ShowS # show :: SigSpec -> String # showList :: [SigSpec] -> ShowS #
Eq SigSpec Source #
Instance details Defined in Yosys.Rtl Methods (==) :: SigSpec -> SigSpec -> Bool # (/=) :: SigSpec -> SigSpec -> Bool #
Pretty SigSpec Source #
Instance details Defined in Yosys.Rtl Methods pretty :: SigSpec -> Doc ann # prettyList :: [SigSpec] -> Doc ann #

Connections

data ConnStmt Source #

Constructors

ConnStmt SigSpec SigSpec

Instances

Instances details

Read ConnStmt Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS ConnStmt # readList :: ReadS [ConnStmt] # readPrec :: ReadPrec ConnStmt # readListPrec :: ReadPrec [ConnStmt] #
Show ConnStmt Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> ConnStmt -> ShowS # show :: ConnStmt -> String # showList :: [ConnStmt] -> ShowS #
Eq ConnStmt Source #
Instance details Defined in Yosys.Rtl Methods (==) :: ConnStmt -> ConnStmt -> Bool # (/=) :: ConnStmt -> ConnStmt -> Bool #
Pretty ConnStmt Source #
Instance details Defined in Yosys.Rtl Methods pretty :: ConnStmt -> Doc ann # prettyList :: [ConnStmt] -> Doc ann #

Wires

data Wire Source #

Constructors

Wire [AttrStmt] WireStmt

Instances

Instances details

Read Wire Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS Wire # readList :: ReadS [Wire] # readPrec :: ReadPrec Wire # readListPrec :: ReadPrec [Wire] #
Show Wire Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> Wire -> ShowS # show :: Wire -> String # showList :: [Wire] -> ShowS #
Eq Wire Source #
Instance details Defined in Yosys.Rtl Methods (==) :: Wire -> Wire -> Bool # (/=) :: Wire -> Wire -> Bool #
Pretty Wire Source #
Instance details Defined in Yosys.Rtl Methods pretty :: Wire -> Doc ann # prettyList :: [Wire] -> Doc ann #

data WireStmt Source #

Constructors

WireStmt [WireOption] WireId

Instances

Instances details

Read WireStmt Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS WireStmt # readList :: ReadS [WireStmt] # readPrec :: ReadPrec WireStmt # readListPrec :: ReadPrec [WireStmt] #
Show WireStmt Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> WireStmt -> ShowS # show :: WireStmt -> String # showList :: [WireStmt] -> ShowS #
Eq WireStmt Source #
Instance details Defined in Yosys.Rtl Methods (==) :: WireStmt -> WireStmt -> Bool # (/=) :: WireStmt -> WireStmt -> Bool #
Pretty WireStmt Source #
Instance details Defined in Yosys.Rtl Methods pretty :: WireStmt -> Doc ann # prettyList :: [WireStmt] -> Doc ann #

newtype WireId Source #

Constructors

WireId Ident

Instances

Instances details

IsString WireId Source #
Instance details Defined in Yosys.Rtl Methods fromString :: String -> WireId #
Monoid WireId Source #
Instance details Defined in Yosys.Rtl Methods mempty :: WireId # mappend :: WireId -> WireId -> WireId # mconcat :: [WireId] -> WireId #
Semigroup WireId Source #
Instance details Defined in Yosys.Rtl Methods (<>) :: WireId -> WireId -> WireId # sconcat :: NonEmpty WireId -> WireId # stimes :: Integral b => b -> WireId -> WireId #
Read WireId Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS WireId # readList :: ReadS [WireId] # readPrec :: ReadPrec WireId # readListPrec :: ReadPrec [WireId] #
Show WireId Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> WireId -> ShowS # show :: WireId -> String # showList :: [WireId] -> ShowS #
Eq WireId Source #
Instance details Defined in Yosys.Rtl Methods (==) :: WireId -> WireId -> Bool # (/=) :: WireId -> WireId -> Bool #
Pretty WireId Source #
Instance details Defined in Yosys.Rtl Methods pretty :: WireId -> Doc ann # prettyList :: [WireId] -> Doc ann #

data WireOption Source #

Constructors

WireOptionWidth Integer
WireOptionOffset Integer
WireOptionInput Integer
WireOptionOutput Integer
WireOptionInout Integer
WireOptionUpto
WireOptionSigned

Instances

Instances details

Read WireOption Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS WireOption # readList :: ReadS [WireOption] # readPrec :: ReadPrec WireOption # readListPrec :: ReadPrec [WireOption] #
Show WireOption Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> WireOption -> ShowS # show :: WireOption -> String # showList :: [WireOption] -> ShowS #
Eq WireOption Source #
Instance details Defined in Yosys.Rtl Methods (==) :: WireOption -> WireOption -> Bool # (/=) :: WireOption -> WireOption -> Bool #
Pretty WireOption Source #
Instance details Defined in Yosys.Rtl Methods pretty :: WireOption -> Doc ann # prettyList :: [WireOption] -> Doc ann #

Memories

data Memory Source #

Constructors

Memory [AttrStmt] MemoryStmt

Instances

Instances details

Read Memory Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS Memory # readList :: ReadS [Memory] # readPrec :: ReadPrec Memory # readListPrec :: ReadPrec [Memory] #
Show Memory Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> Memory -> ShowS # show :: Memory -> String # showList :: [Memory] -> ShowS #
Eq Memory Source #
Instance details Defined in Yosys.Rtl Methods (==) :: Memory -> Memory -> Bool # (/=) :: Memory -> Memory -> Bool #
Pretty Memory Source #
Instance details Defined in Yosys.Rtl Methods pretty :: Memory -> Doc ann # prettyList :: [Memory] -> Doc ann #

data MemoryStmt Source #

Constructors

MemoryStmt [MemoryOption] Ident

Instances

Instances details

Read MemoryStmt Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS MemoryStmt # readList :: ReadS [MemoryStmt] # readPrec :: ReadPrec MemoryStmt # readListPrec :: ReadPrec [MemoryStmt] #
Show MemoryStmt Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> MemoryStmt -> ShowS # show :: MemoryStmt -> String # showList :: [MemoryStmt] -> ShowS #
Eq MemoryStmt Source #
Instance details Defined in Yosys.Rtl Methods (==) :: MemoryStmt -> MemoryStmt -> Bool # (/=) :: MemoryStmt -> MemoryStmt -> Bool #
Pretty MemoryStmt Source #
Instance details Defined in Yosys.Rtl Methods pretty :: MemoryStmt -> Doc ann # prettyList :: [MemoryStmt] -> Doc ann #

data MemoryOption Source #

Constructors

MemoryOptionWidth Integer
MemoryOptionSize Integer
MemoryOptionOffset Integer

Instances

Instances details

Read MemoryOption Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS MemoryOption # readList :: ReadS [MemoryOption] # readPrec :: ReadPrec MemoryOption # readListPrec :: ReadPrec [MemoryOption] #
Show MemoryOption Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> MemoryOption -> ShowS # show :: MemoryOption -> String # showList :: [MemoryOption] -> ShowS #
Eq MemoryOption Source #
Instance details Defined in Yosys.Rtl Methods (==) :: MemoryOption -> MemoryOption -> Bool # (/=) :: MemoryOption -> MemoryOption -> Bool #
Pretty MemoryOption Source #
Instance details Defined in Yosys.Rtl Methods pretty :: MemoryOption -> Doc ann # prettyList :: [MemoryOption] -> Doc ann #

Cells

data Cell Source #

Constructors

Cell [AttrStmt] CellStmt [CellBodyStmt] CellEndStmt

Instances

Instances details

Read Cell Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS Cell # readList :: ReadS [Cell] # readPrec :: ReadPrec Cell # readListPrec :: ReadPrec [Cell] #
Show Cell Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> Cell -> ShowS # show :: Cell -> String # showList :: [Cell] -> ShowS #
Eq Cell Source #
Instance details Defined in Yosys.Rtl Methods (==) :: Cell -> Cell -> Bool # (/=) :: Cell -> Cell -> Bool #
Pretty Cell Source #
Instance details Defined in Yosys.Rtl Methods pretty :: Cell -> Doc ann # prettyList :: [Cell] -> Doc ann #

data CellStmt Source #

Constructors

CellStmt CellType CellId

Instances

Instances details

Read CellStmt Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS CellStmt # readList :: ReadS [CellStmt] # readPrec :: ReadPrec CellStmt # readListPrec :: ReadPrec [CellStmt] #
Show CellStmt Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> CellStmt -> ShowS # show :: CellStmt -> String # showList :: [CellStmt] -> ShowS #
Eq CellStmt Source #
Instance details Defined in Yosys.Rtl Methods (==) :: CellStmt -> CellStmt -> Bool # (/=) :: CellStmt -> CellStmt -> Bool #
Pretty CellStmt Source #
Instance details Defined in Yosys.Rtl Methods pretty :: CellStmt -> Doc ann # prettyList :: [CellStmt] -> Doc ann #

newtype CellId Source #

Constructors

CellId Ident

Instances

Instances details

IsString CellId Source #
Instance details Defined in Yosys.Rtl Methods fromString :: String -> CellId #
Monoid CellId Source #
Instance details Defined in Yosys.Rtl Methods mempty :: CellId # mappend :: CellId -> CellId -> CellId # mconcat :: [CellId] -> CellId #
Semigroup CellId Source #
Instance details Defined in Yosys.Rtl Methods (<>) :: CellId -> CellId -> CellId # sconcat :: NonEmpty CellId -> CellId # stimes :: Integral b => b -> CellId -> CellId #
Read CellId Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS CellId # readList :: ReadS [CellId] # readPrec :: ReadPrec CellId # readListPrec :: ReadPrec [CellId] #
Show CellId Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> CellId -> ShowS # show :: CellId -> String # showList :: [CellId] -> ShowS #
Eq CellId Source #
Instance details Defined in Yosys.Rtl Methods (==) :: CellId -> CellId -> Bool # (/=) :: CellId -> CellId -> Bool #
Pretty CellId Source #
Instance details Defined in Yosys.Rtl Methods pretty :: CellId -> Doc ann # prettyList :: [CellId] -> Doc ann #

newtype CellType Source #

Constructors

CellType Ident

Instances

Instances details

IsString CellType Source #
Instance details Defined in Yosys.Rtl Methods fromString :: String -> CellType #
Read CellType Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS CellType # readList :: ReadS [CellType] # readPrec :: ReadPrec CellType # readListPrec :: ReadPrec [CellType] #
Show CellType Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> CellType -> ShowS # show :: CellType -> String # showList :: [CellType] -> ShowS #
Eq CellType Source #
Instance details Defined in Yosys.Rtl Methods (==) :: CellType -> CellType -> Bool # (/=) :: CellType -> CellType -> Bool #
Pretty CellType Source #
Instance details Defined in Yosys.Rtl Methods pretty :: CellType -> Doc ann # prettyList :: [CellType] -> Doc ann #

data ParamType Source #

Constructors

Signed
Real

Instances

Instances details

Read ParamType Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS ParamType # readList :: ReadS [ParamType] # readPrec :: ReadPrec ParamType # readListPrec :: ReadPrec [ParamType] #
Show ParamType Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> ParamType -> ShowS # show :: ParamType -> String # showList :: [ParamType] -> ShowS #
Eq ParamType Source #
Instance details Defined in Yosys.Rtl Methods (==) :: ParamType -> ParamType -> Bool # (/=) :: ParamType -> ParamType -> Bool #
Pretty ParamType Source #
Instance details Defined in Yosys.Rtl Methods pretty :: ParamType -> Doc ann # prettyList :: [ParamType] -> Doc ann #

data CellBodyStmt Source #

Constructors

CellParameter (Maybe ParamType) Ident Constant
CellConnect Ident SigSpec

Instances

Instances details

Read CellBodyStmt Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS CellBodyStmt # readList :: ReadS [CellBodyStmt] # readPrec :: ReadPrec CellBodyStmt # readListPrec :: ReadPrec [CellBodyStmt] #
Show CellBodyStmt Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> CellBodyStmt -> ShowS # show :: CellBodyStmt -> String # showList :: [CellBodyStmt] -> ShowS #
Eq CellBodyStmt Source #
Instance details Defined in Yosys.Rtl Methods (==) :: CellBodyStmt -> CellBodyStmt -> Bool # (/=) :: CellBodyStmt -> CellBodyStmt -> Bool #
Pretty CellBodyStmt Source #
Instance details Defined in Yosys.Rtl Methods pretty :: CellBodyStmt -> Doc ann # prettyList :: [CellBodyStmt] -> Doc ann #

data CellEndStmt Source #

Constructors

CellEndStmt

Instances

Instances details

Read CellEndStmt Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS CellEndStmt # readList :: ReadS [CellEndStmt] # readPrec :: ReadPrec CellEndStmt # readListPrec :: ReadPrec [CellEndStmt] #
Show CellEndStmt Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> CellEndStmt -> ShowS # show :: CellEndStmt -> String # showList :: [CellEndStmt] -> ShowS #
Eq CellEndStmt Source #
Instance details Defined in Yosys.Rtl Methods (==) :: CellEndStmt -> CellEndStmt -> Bool # (/=) :: CellEndStmt -> CellEndStmt -> Bool #
Pretty CellEndStmt Source #
Instance details Defined in Yosys.Rtl Methods pretty :: CellEndStmt -> Doc ann # prettyList :: [CellEndStmt] -> Doc ann #

Unary cells

unaryCell Source #

Arguments

:: CellStmt
-> Bool	\A_SIGNED
-> Integer	\A_WIDTH
-> Integer	\Y_WIDTH
-> SigSpec	A
-> SigSpec	Y
-> Cell

notC :: CellId -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> Cell Source #

posC :: CellId -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> Cell Source #

negC :: CellId -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> Cell Source #

reduceAndC :: CellId -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> Cell Source #

reduceOrC :: CellId -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> Cell Source #

reduceXorC :: CellId -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> Cell Source #

reduceXnorC :: CellId -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> Cell Source #

reduceBoolC :: CellId -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> Cell Source #

logicNotC :: CellId -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> Cell Source #

Binary cells

binaryCell Source #

Arguments

:: CellStmt
-> Bool	\A_SIGNED
-> Integer	\A_WIDTH
-> Bool	\B_SIGNED
-> Integer	\B_WIDTH
-> Integer	\Y_WIDTH
-> SigSpec	A
-> SigSpec	B
-> SigSpec	Y
-> Cell

shiftCell :: CellStmt -> Bool -> Integer -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell Source #

andC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell Source #

orC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell Source #

xorC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell Source #

xnorC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell Source #

shlC :: CellId -> Bool -> Integer -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell Source #

shrC :: CellId -> Bool -> Integer -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell Source #

sshlC :: CellId -> Bool -> Integer -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell Source #

sshrC :: CellId -> Bool -> Integer -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell Source #

logicAndC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell Source #

logicOrC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell Source #

eqxC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell Source #

nexC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell Source #

powC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell Source #

ltC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell Source #

leC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell Source #

eqC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell Source #

neC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell Source #

geC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell Source #

gtC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell Source #

addC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell Source #

subC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell Source #

mulC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell Source #

divC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell Source #

modC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell Source #

divFloorC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell Source #

modFloorC :: CellId -> Bool -> Integer -> Bool -> Integer -> Integer -> SigSpec -> SigSpec -> SigSpec -> Cell Source #

Multiplexers

muxC Source #

Arguments

:: CellId
-> Integer	WIDTH
-> SigSpec	A
-> SigSpec	B
-> SigSpec	S
-> SigSpec	Y
-> Cell

Y = S ? B : A

Memories

memRdV2C Source #

Arguments

:: CellId
-> Constant	MEMID
-> Constant	ABITS
-> Constant	WIDTH
-> Constant	CLK_ENABLE
-> Constant	CLK_POLARITY
-> Constant	TRANSPARENCY_MASK
-> Constant	COLLISION_X_MASK
-> Constant	ARST_VALUE
-> Constant	SRST_VALUE
-> Constant	INIT_VALUE
-> Constant	CE_OVER_SRST
-> SigSpec	CLK
-> SigSpec	EN
-> SigSpec	ADDR
-> SigSpec	DATA
-> SigSpec	ARST
-> SigSpec	SRST
-> Cell

memWrV2C Source #

Arguments

:: CellId
-> Constant	MEMID
-> Constant	ABITS
-> Constant	WIDTH
-> Constant	CLK_ENABLE
-> Constant	CLK_POLARITY
-> Constant	PORTID
-> Constant	PRIORITY_MASK
-> SigSpec	CLK
-> SigSpec	EN
-> SigSpec	ADDR
-> SigSpec	DATA
-> Cell

memInitV2C Source #

Arguments

:: CellId
-> Constant	MEMID
-> Constant	ABITS
-> Constant	WIDTH
-> Constant	WORDS
-> Constant	PRIORITY
-> SigSpec	ADDR
-> SigSpec	DATA
-> Cell

memV2C Source #

Arguments

:: CellId
-> Constant	MEMID
-> Constant	SIZE
-> Constant	ABITS
-> Constant	WIDTH
-> Constant	INIT
-> Constant	RD_PORTS
-> Constant	RD_WIDE_CONTINUATION
-> Constant	RD_CLK_ENABLE
-> Constant	RD_CLK_POLARITY
-> Constant	RD_TRANSPARENCY_MASK
-> Constant	RD_COLLISION_X_MASK
-> Constant	RD_CE_OVER_SRST
-> Constant	RD_INIT_VALUE
-> Constant	RD_ARST_VALUE
-> Constant	RD_SRST_VALUE
-> Constant	WR_PORTS
-> Constant	WR_WIDE_CONTINUATION
-> Constant	WR_CLK_ENABLE
-> Constant	WR_CLK_POLARITY
-> Constant	WR_PRIORITY_MASK
-> SigSpec	RD_CLK
-> SigSpec	RD_EN
-> SigSpec	RD_ADDR
-> SigSpec	RD_DATA
-> SigSpec	RD_ARST
-> SigSpec	RD_SRST
-> SigSpec	WR_CLK
-> SigSpec	WR_EN
-> SigSpec	WR_ADDR
-> SigSpec	WR_DATA
-> Cell

Processes

data Process Source #

Constructors

Process [AttrStmt] ProcStmt ProcessBody ProcEndStmt

Instances

Instances details

Read Process Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS Process # readList :: ReadS [Process] # readPrec :: ReadPrec Process # readListPrec :: ReadPrec [Process] #
Show Process Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> Process -> ShowS # show :: Process -> String # showList :: [Process] -> ShowS #
Eq Process Source #
Instance details Defined in Yosys.Rtl Methods (==) :: Process -> Process -> Bool # (/=) :: Process -> Process -> Bool #
Pretty Process Source #
Instance details Defined in Yosys.Rtl Methods pretty :: Process -> Doc ann # prettyList :: [Process] -> Doc ann #

newtype ProcStmt Source #

Constructors

ProcStmt Ident

Instances

Instances details

IsString ProcStmt Source #
Instance details Defined in Yosys.Rtl Methods fromString :: String -> ProcStmt #
Monoid ProcStmt Source #
Instance details Defined in Yosys.Rtl Methods mempty :: ProcStmt # mappend :: ProcStmt -> ProcStmt -> ProcStmt # mconcat :: [ProcStmt] -> ProcStmt #
Semigroup ProcStmt Source #
Instance details Defined in Yosys.Rtl Methods (<>) :: ProcStmt -> ProcStmt -> ProcStmt # sconcat :: NonEmpty ProcStmt -> ProcStmt # stimes :: Integral b => b -> ProcStmt -> ProcStmt #
Read ProcStmt Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS ProcStmt # readList :: ReadS [ProcStmt] # readPrec :: ReadPrec ProcStmt # readListPrec :: ReadPrec [ProcStmt] #
Show ProcStmt Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> ProcStmt -> ShowS # show :: ProcStmt -> String # showList :: [ProcStmt] -> ShowS #
Eq ProcStmt Source #
Instance details Defined in Yosys.Rtl Methods (==) :: ProcStmt -> ProcStmt -> Bool # (/=) :: ProcStmt -> ProcStmt -> Bool #
Pretty ProcStmt Source #
Instance details Defined in Yosys.Rtl Methods pretty :: ProcStmt -> Doc ann # prettyList :: [ProcStmt] -> Doc ann #

data ProcessBody Source #

Constructors

ProcessBody [AssignStmt] (Maybe Switch) [AssignStmt] [Sync]

Instances

Instances details

Read ProcessBody Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS ProcessBody # readList :: ReadS [ProcessBody] # readPrec :: ReadPrec ProcessBody # readListPrec :: ReadPrec [ProcessBody] #
Show ProcessBody Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> ProcessBody -> ShowS # show :: ProcessBody -> String # showList :: [ProcessBody] -> ShowS #
Eq ProcessBody Source #
Instance details Defined in Yosys.Rtl Methods (==) :: ProcessBody -> ProcessBody -> Bool # (/=) :: ProcessBody -> ProcessBody -> Bool #
Pretty ProcessBody Source #
Instance details Defined in Yosys.Rtl Methods pretty :: ProcessBody -> Doc ann # prettyList :: [ProcessBody] -> Doc ann #

data AssignStmt Source #

Constructors

AssignStmt DestSigSpec SrcSigSpec

Instances

Instances details

Read AssignStmt Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS AssignStmt # readList :: ReadS [AssignStmt] # readPrec :: ReadPrec AssignStmt # readListPrec :: ReadPrec [AssignStmt] #
Show AssignStmt Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> AssignStmt -> ShowS # show :: AssignStmt -> String # showList :: [AssignStmt] -> ShowS #
Eq AssignStmt Source #
Instance details Defined in Yosys.Rtl Methods (==) :: AssignStmt -> AssignStmt -> Bool # (/=) :: AssignStmt -> AssignStmt -> Bool #
Pretty AssignStmt Source #
Instance details Defined in Yosys.Rtl Methods pretty :: AssignStmt -> Doc ann # prettyList :: [AssignStmt] -> Doc ann #

newtype DestSigSpec Source #

Constructors

DestSigSpec SigSpec

Instances

Instances details

Read DestSigSpec Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS DestSigSpec # readList :: ReadS [DestSigSpec] # readPrec :: ReadPrec DestSigSpec # readListPrec :: ReadPrec [DestSigSpec] #
Show DestSigSpec Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> DestSigSpec -> ShowS # show :: DestSigSpec -> String # showList :: [DestSigSpec] -> ShowS #
Eq DestSigSpec Source #
Instance details Defined in Yosys.Rtl Methods (==) :: DestSigSpec -> DestSigSpec -> Bool # (/=) :: DestSigSpec -> DestSigSpec -> Bool #
Pretty DestSigSpec Source #
Instance details Defined in Yosys.Rtl Methods pretty :: DestSigSpec -> Doc ann # prettyList :: [DestSigSpec] -> Doc ann #

newtype SrcSigSpec Source #

Constructors

SrcSigSpec SigSpec

Instances

Instances details

Read SrcSigSpec Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS SrcSigSpec # readList :: ReadS [SrcSigSpec] # readPrec :: ReadPrec SrcSigSpec # readListPrec :: ReadPrec [SrcSigSpec] #
Show SrcSigSpec Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> SrcSigSpec -> ShowS # show :: SrcSigSpec -> String # showList :: [SrcSigSpec] -> ShowS #
Eq SrcSigSpec Source #
Instance details Defined in Yosys.Rtl Methods (==) :: SrcSigSpec -> SrcSigSpec -> Bool # (/=) :: SrcSigSpec -> SrcSigSpec -> Bool #
Pretty SrcSigSpec Source #
Instance details Defined in Yosys.Rtl Methods pretty :: SrcSigSpec -> Doc ann # prettyList :: [SrcSigSpec] -> Doc ann #

data ProcEndStmt Source #

Constructors

ProcEndStmt

Instances

Instances details

Read ProcEndStmt Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS ProcEndStmt # readList :: ReadS [ProcEndStmt] # readPrec :: ReadPrec ProcEndStmt # readListPrec :: ReadPrec [ProcEndStmt] #
Show ProcEndStmt Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> ProcEndStmt -> ShowS # show :: ProcEndStmt -> String # showList :: [ProcEndStmt] -> ShowS #
Eq ProcEndStmt Source #
Instance details Defined in Yosys.Rtl Methods (==) :: ProcEndStmt -> ProcEndStmt -> Bool # (/=) :: ProcEndStmt -> ProcEndStmt -> Bool #
Pretty ProcEndStmt Source #
Instance details Defined in Yosys.Rtl Methods pretty :: ProcEndStmt -> Doc ann # prettyList :: [ProcEndStmt] -> Doc ann #

Switches

data Switch Source #

Constructors

Switch SwitchStmt [Case] SwitchEndStmt

Instances

Instances details

Read Switch Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS Switch # readList :: ReadS [Switch] # readPrec :: ReadPrec Switch # readListPrec :: ReadPrec [Switch] #
Show Switch Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> Switch -> ShowS # show :: Switch -> String # showList :: [Switch] -> ShowS #
Eq Switch Source #
Instance details Defined in Yosys.Rtl Methods (==) :: Switch -> Switch -> Bool # (/=) :: Switch -> Switch -> Bool #
Pretty Switch Source #
Instance details Defined in Yosys.Rtl Methods pretty :: Switch -> Doc ann # prettyList :: [Switch] -> Doc ann #

data SwitchStmt Source #

Constructors

SwitchStmt [AttrStmt] SigSpec

Instances

Instances details

Read SwitchStmt Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS SwitchStmt # readList :: ReadS [SwitchStmt] # readPrec :: ReadPrec SwitchStmt # readListPrec :: ReadPrec [SwitchStmt] #
Show SwitchStmt Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> SwitchStmt -> ShowS # show :: SwitchStmt -> String # showList :: [SwitchStmt] -> ShowS #
Eq SwitchStmt Source #
Instance details Defined in Yosys.Rtl Methods (==) :: SwitchStmt -> SwitchStmt -> Bool # (/=) :: SwitchStmt -> SwitchStmt -> Bool #
Pretty SwitchStmt Source #
Instance details Defined in Yosys.Rtl Methods pretty :: SwitchStmt -> Doc ann # prettyList :: [SwitchStmt] -> Doc ann #

data Case Source #

Constructors

Case [AttrStmt] CaseStmt CaseBody

Instances

Instances details

Read Case Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS Case # readList :: ReadS [Case] # readPrec :: ReadPrec Case # readListPrec :: ReadPrec [Case] #
Show Case Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> Case -> ShowS # show :: Case -> String # showList :: [Case] -> ShowS #
Eq Case Source #
Instance details Defined in Yosys.Rtl Methods (==) :: Case -> Case -> Bool # (/=) :: Case -> Case -> Bool #
Pretty Case Source #
Instance details Defined in Yosys.Rtl Methods pretty :: Case -> Doc ann # prettyList :: [Case] -> Doc ann #

newtype CaseStmt Source #

Constructors

CaseStmt (Maybe Compare)

Instances

Instances details

Read CaseStmt Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS CaseStmt # readList :: ReadS [CaseStmt] # readPrec :: ReadPrec CaseStmt # readListPrec :: ReadPrec [CaseStmt] #
Show CaseStmt Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> CaseStmt -> ShowS # show :: CaseStmt -> String # showList :: [CaseStmt] -> ShowS #
Eq CaseStmt Source #
Instance details Defined in Yosys.Rtl Methods (==) :: CaseStmt -> CaseStmt -> Bool # (/=) :: CaseStmt -> CaseStmt -> Bool #
Pretty CaseStmt Source #
Instance details Defined in Yosys.Rtl Methods pretty :: CaseStmt -> Doc ann # prettyList :: [CaseStmt] -> Doc ann #

data Compare Source #

Constructors

Compare SigSpec [SigSpec]

Instances

Instances details

Read Compare Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS Compare # readList :: ReadS [Compare] # readPrec :: ReadPrec Compare # readListPrec :: ReadPrec [Compare] #
Show Compare Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> Compare -> ShowS # show :: Compare -> String # showList :: [Compare] -> ShowS #
Eq Compare Source #
Instance details Defined in Yosys.Rtl Methods (==) :: Compare -> Compare -> Bool # (/=) :: Compare -> Compare -> Bool #
Pretty Compare Source #
Instance details Defined in Yosys.Rtl Methods pretty :: Compare -> Doc ann # prettyList :: [Compare] -> Doc ann #

newtype CaseBody Source #

Constructors

CaseBody [Either Switch AssignStmt]

Instances

Instances details

Read CaseBody Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS CaseBody # readList :: ReadS [CaseBody] # readPrec :: ReadPrec CaseBody # readListPrec :: ReadPrec [CaseBody] #
Show CaseBody Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> CaseBody -> ShowS # show :: CaseBody -> String # showList :: [CaseBody] -> ShowS #
Eq CaseBody Source #
Instance details Defined in Yosys.Rtl Methods (==) :: CaseBody -> CaseBody -> Bool # (/=) :: CaseBody -> CaseBody -> Bool #
Pretty CaseBody Source #
Instance details Defined in Yosys.Rtl Methods pretty :: CaseBody -> Doc ann # prettyList :: [CaseBody] -> Doc ann #

data SwitchEndStmt Source #

Constructors

SwitchEndStmt

Instances

Instances details

Read SwitchEndStmt Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS SwitchEndStmt # readList :: ReadS [SwitchEndStmt] # readPrec :: ReadPrec SwitchEndStmt # readListPrec :: ReadPrec [SwitchEndStmt] #
Show SwitchEndStmt Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> SwitchEndStmt -> ShowS # show :: SwitchEndStmt -> String # showList :: [SwitchEndStmt] -> ShowS #
Eq SwitchEndStmt Source #
Instance details Defined in Yosys.Rtl Methods (==) :: SwitchEndStmt -> SwitchEndStmt -> Bool # (/=) :: SwitchEndStmt -> SwitchEndStmt -> Bool #
Pretty SwitchEndStmt Source #
Instance details Defined in Yosys.Rtl Methods pretty :: SwitchEndStmt -> Doc ann # prettyList :: [SwitchEndStmt] -> Doc ann #

Syncs

data Sync Source #

Constructors

Sync SyncStmt [UpdateStmt]

Instances

Instances details

Read Sync Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS Sync # readList :: ReadS [Sync] # readPrec :: ReadPrec Sync # readListPrec :: ReadPrec [Sync] #
Show Sync Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> Sync -> ShowS # show :: Sync -> String # showList :: [Sync] -> ShowS #
Eq Sync Source #
Instance details Defined in Yosys.Rtl Methods (==) :: Sync -> Sync -> Bool # (/=) :: Sync -> Sync -> Bool #
Pretty Sync Source #
Instance details Defined in Yosys.Rtl Methods pretty :: Sync -> Doc ann # prettyList :: [Sync] -> Doc ann #

data SyncStmt Source #

Constructors

SyncStmt SyncType SigSpec
SyncStmtGlobal
SyncStmtInit
SyncStmtAlways

Instances

Instances details

Read SyncStmt Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS SyncStmt # readList :: ReadS [SyncStmt] # readPrec :: ReadPrec SyncStmt # readListPrec :: ReadPrec [SyncStmt] #
Show SyncStmt Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> SyncStmt -> ShowS # show :: SyncStmt -> String # showList :: [SyncStmt] -> ShowS #
Eq SyncStmt Source #
Instance details Defined in Yosys.Rtl Methods (==) :: SyncStmt -> SyncStmt -> Bool # (/=) :: SyncStmt -> SyncStmt -> Bool #
Pretty SyncStmt Source #
Instance details Defined in Yosys.Rtl Methods pretty :: SyncStmt -> Doc ann # prettyList :: [SyncStmt] -> Doc ann #

data SyncType Source #

Constructors

Low
High
Posedge
Negedge
Edge

Instances

Instances details

Read SyncType Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS SyncType # readList :: ReadS [SyncType] # readPrec :: ReadPrec SyncType # readListPrec :: ReadPrec [SyncType] #
Show SyncType Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> SyncType -> ShowS # show :: SyncType -> String # showList :: [SyncType] -> ShowS #
Eq SyncType Source #
Instance details Defined in Yosys.Rtl Methods (==) :: SyncType -> SyncType -> Bool # (/=) :: SyncType -> SyncType -> Bool #
Pretty SyncType Source #
Instance details Defined in Yosys.Rtl Methods pretty :: SyncType -> Doc ann # prettyList :: [SyncType] -> Doc ann #

data UpdateStmt Source #

Constructors

UpdateStmt DestSigSpec SrcSigSpec

Instances

Instances details

Read UpdateStmt Source #
Instance details Defined in Yosys.Rtl Methods readsPrec :: Int -> ReadS UpdateStmt # readList :: ReadS [UpdateStmt] # readPrec :: ReadPrec UpdateStmt # readListPrec :: ReadPrec [UpdateStmt] #
Show UpdateStmt Source #
Instance details Defined in Yosys.Rtl Methods showsPrec :: Int -> UpdateStmt -> ShowS # show :: UpdateStmt -> String # showList :: [UpdateStmt] -> ShowS #
Eq UpdateStmt Source #
Instance details Defined in Yosys.Rtl Methods (==) :: UpdateStmt -> UpdateStmt -> Bool # (/=) :: UpdateStmt -> UpdateStmt -> Bool #
Pretty UpdateStmt Source #
Instance details Defined in Yosys.Rtl Methods pretty :: UpdateStmt -> Doc ann # prettyList :: [UpdateStmt] -> Doc ann #