We want to define operations on StrobeDataType that work for both possibilities (keepStrobe = 'True and keepStrobe = 'False), but we can't pattern match directly. Instead we need to define a class and instantiate the class for both 'True and 'False.

Methods

getKeepStrobe :: StrobeDataType keepStrobe -> Bool Source #

Get the value of keepStrobe at the term level.

toStrobeDataType :: Bool -> BitVector 8 -> StrobeDataType keepStrobe Source #

Convert a byte into a possibly-strobed byte. The Bool value determines the strobe value if strobe is enabled.

fromStrobeDataType :: StrobeDataType keepStrobe -> Maybe (BitVector 8) Source #

Convert a possibly-strobed byte into a byte, or Nothing if strobe is enabled and strobe = false.

Instances

Instances details

KeepStrobeClass 'False Source #
Instance details Defined in Protocols.Experimental.Axi4.Common Methods getKeepStrobe :: StrobeDataType 'False -> Bool Source # toStrobeDataType :: Bool -> BitVector 8 -> StrobeDataType 'False Source # fromStrobeDataType :: StrobeDataType 'False -> Maybe (BitVector 8) Source #
KeepStrobeClass 'True Source #
Instance details Defined in Protocols.Experimental.Axi4.Common Methods getKeepStrobe :: StrobeDataType 'True -> Bool Source # toStrobeDataType :: Bool -> BitVector 8 -> StrobeDataType 'True Source # fromStrobeDataType :: StrobeDataType 'True -> Maybe (BitVector 8) Source #

type Qos = Index ((2 ^ 4) - 1) Source #

The protocol does not specify the exact use of the QoS identifier. This AXI specification recommends that AxQOS is used as a priority indicator for the associated write or read transaction. A higher value indicates a higher priority transaction.

A default value of 0 indicates that the interface is not participating in any QoS scheme.

data BurstMode Source #

The burst type and the size information, determine how the address for each transfer within the burst is calculated.

Constructors

BmFixed

In a fixed burst, the address is the same for every transfer in the burst. This burst type is used for repeated accesses to the same location such as when loading or emptying a FIFO

BmIncr

Incrementing. In an incrementing burst, the address for each transfer in the burst is an increment of the address for the previous transfer. The increment value depends on the size of the transfer. For example, the address for each transfer in a burst with a size of four bytes is the previous address plus four. This burst type is used for accesses to normal sequential memory.

BmWrap

A wrapping burst is similar to an incrementing burst, except that the address wraps around to a lower address if an upper address limit is reached. The following restrictions apply to wrapping bursts:

the start address must be aligned to the size of each transfer
the length of the burst must be 2, 4, 8, or 16 transfers.

The behavior of a wrapping burst is:

The lowest address used by the burst is aligned to the total size of the data to be transferred, that is, to ((size of each transfer in the burst) × (number of transfers in the burst)). This address is defined as the _wrap boundary_.
After each transfer, the address increments in the same way as for an INCR burst. However, if this incremented address is ((wrap boundary) + (total size of data to be transferred)) then the address wraps round to the wrap boundary.
The first transfer in the burst can use an address that is higher than the wrap boundary, subject to the restrictions that apply to wrapping bursts. This means that the address wraps for any WRAP burst for which the first address is higher than the wrap boundary.

This burst type is used for cache line accesses.

Instances

Instances details

BitPack BurstMode Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Associated Types

type BitSize BurstMode
Instance details Defined in Protocols.Experimental.Axi4.Common type BitSize BurstMode = CLog 2 (GConstructorCount (Rep BurstMode)) + GFieldSize (Rep BurstMode)

Methods

pack :: BurstMode -> BitVector (BitSize BurstMode) #

unpack :: BitVector (BitSize BurstMode) -> BurstMode #

NFDataX BurstMode Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

deepErrorX :: String -> BurstMode #

hasUndefined :: BurstMode -> Bool #

ensureSpine :: BurstMode -> BurstMode #

rnfX :: BurstMode -> () #

ShowX BurstMode Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

showsPrecX :: Int -> BurstMode -> ShowS #

showX :: BurstMode -> String #

showListX :: [BurstMode] -> ShowS #

NFData BurstMode Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

rnf :: BurstMode -> () #

Generic BurstMode Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Associated Types

type Rep BurstMode
Instance details Defined in Protocols.Experimental.Axi4.Common type Rep BurstMode = D1 ('MetaData "BurstMode" "Protocols.Experimental.Axi4.Common" "clash-protocols-0.1-inplace" 'False) (C1 ('MetaCons "BmFixed" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BmIncr" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BmWrap" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: BurstMode -> Rep BurstMode x #

to :: Rep BurstMode x -> BurstMode #

Show BurstMode Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

showsPrec :: Int -> BurstMode -> ShowS #

show :: BurstMode -> String #

showList :: [BurstMode] -> ShowS #

Eq BurstMode Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

(==) :: BurstMode -> BurstMode -> Bool #

(/=) :: BurstMode -> BurstMode -> Bool #

type BitSize BurstMode Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

type BitSize BurstMode = CLog 2 (GConstructorCount (Rep BurstMode)) + GFieldSize (Rep BurstMode)

type Rep BurstMode Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

type Rep BurstMode = D1 ('MetaData "BurstMode" "Protocols.Experimental.Axi4.Common" "clash-protocols-0.1-inplace" 'False) (C1 ('MetaCons "BmFixed" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BmIncr" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BmWrap" 'PrefixI 'False) (U1 :: Type -> Type)))

data BurstSize Source #

The maximum number of bytes to transfer in each data transfer, or beat, in a burst.

Constructors

Bs1
Bs2
Bs4
Bs8
Bs16
Bs32
Bs64
Bs128

Instances

Instances details

BitPack BurstSize Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Associated Types

type BitSize BurstSize
Instance details Defined in Protocols.Experimental.Axi4.Common type BitSize BurstSize = CLog 2 (GConstructorCount (Rep BurstSize)) + GFieldSize (Rep BurstSize)

Methods

pack :: BurstSize -> BitVector (BitSize BurstSize) #

unpack :: BitVector (BitSize BurstSize) -> BurstSize #

NFDataX BurstSize Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

deepErrorX :: String -> BurstSize #

hasUndefined :: BurstSize -> Bool #

ensureSpine :: BurstSize -> BurstSize #

rnfX :: BurstSize -> () #

ShowX BurstSize Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

showsPrecX :: Int -> BurstSize -> ShowS #

showX :: BurstSize -> String #

showListX :: [BurstSize] -> ShowS #

NFData BurstSize Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

rnf :: BurstSize -> () #

Generic BurstSize Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Associated Types

type Rep BurstSize

Instance details

Defined in Protocols.Experimental.Axi4.Common

type Rep BurstSize = D1 ('MetaData "BurstSize" "Protocols.Experimental.Axi4.Common" "clash-protocols-0.1-inplace" 'False) (((C1 ('MetaCons "Bs1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bs2" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Bs4" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bs8" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Bs16" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bs32" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Bs64" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bs128" 'PrefixI 'False) (U1 :: Type -> Type))))

Methods

from :: BurstSize -> Rep BurstSize x #

to :: Rep BurstSize x -> BurstSize #

Show BurstSize Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

showsPrec :: Int -> BurstSize -> ShowS #

show :: BurstSize -> String #

showList :: [BurstSize] -> ShowS #

Eq BurstSize Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

(==) :: BurstSize -> BurstSize -> Bool #

(/=) :: BurstSize -> BurstSize -> Bool #

type BitSize BurstSize Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

type BitSize BurstSize = CLog 2 (GConstructorCount (Rep BurstSize)) + GFieldSize (Rep BurstSize)

type Rep BurstSize Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

type Rep BurstSize = D1 ('MetaData "BurstSize" "Protocols.Experimental.Axi4.Common" "clash-protocols-0.1-inplace" 'False) (((C1 ('MetaCons "Bs1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bs2" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Bs4" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bs8" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Bs16" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bs32" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Bs64" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bs128" 'PrefixI 'False) (U1 :: Type -> Type))))

burstSizeToNum :: Num a => BurstSize -> a Source #

Convert burst size to a numeric value

data Bufferable Source #

Whether a transaction is bufferable

Constructors

NonBufferable
Bufferable

Instances

Instances details

BitPack Bufferable Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Associated Types

type BitSize Bufferable
Instance details Defined in Protocols.Experimental.Axi4.Common type BitSize Bufferable = CLog 2 (GConstructorCount (Rep Bufferable)) + GFieldSize (Rep Bufferable)

Methods

pack :: Bufferable -> BitVector (BitSize Bufferable) #

unpack :: BitVector (BitSize Bufferable) -> Bufferable #

NFDataX Bufferable Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

deepErrorX :: String -> Bufferable #

hasUndefined :: Bufferable -> Bool #

ensureSpine :: Bufferable -> Bufferable #

rnfX :: Bufferable -> () #

ShowX Bufferable Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

showsPrecX :: Int -> Bufferable -> ShowS #

showX :: Bufferable -> String #

showListX :: [Bufferable] -> ShowS #

NFData Bufferable Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

rnf :: Bufferable -> () #

Generic Bufferable Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Associated Types

type Rep Bufferable
Instance details Defined in Protocols.Experimental.Axi4.Common type Rep Bufferable = D1 ('MetaData "Bufferable" "Protocols.Experimental.Axi4.Common" "clash-protocols-0.1-inplace" 'False) (C1 ('MetaCons "NonBufferable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bufferable" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: Bufferable -> Rep Bufferable x #

to :: Rep Bufferable x -> Bufferable #

Show Bufferable Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

showsPrec :: Int -> Bufferable -> ShowS #

show :: Bufferable -> String #

showList :: [Bufferable] -> ShowS #

Eq Bufferable Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

(==) :: Bufferable -> Bufferable -> Bool #

(/=) :: Bufferable -> Bufferable -> Bool #

type BitSize Bufferable Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

type BitSize Bufferable = CLog 2 (GConstructorCount (Rep Bufferable)) + GFieldSize (Rep Bufferable)

type Rep Bufferable Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

type Rep Bufferable = D1 ('MetaData "Bufferable" "Protocols.Experimental.Axi4.Common" "clash-protocols-0.1-inplace" 'False) (C1 ('MetaCons "NonBufferable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bufferable" 'PrefixI 'False) (U1 :: Type -> Type))

data Allocate Source #

When set to LookupCache, it is recommended that this transaction is allocated in the cache for performance reasons.

Constructors

NoLookupCache
LookupCache

Instances

Instances details

BitPack Allocate Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Associated Types

type BitSize Allocate
Instance details Defined in Protocols.Experimental.Axi4.Common type BitSize Allocate = CLog 2 (GConstructorCount (Rep Allocate)) + GFieldSize (Rep Allocate)

Methods

pack :: Allocate -> BitVector (BitSize Allocate) #

unpack :: BitVector (BitSize Allocate) -> Allocate #

NFDataX Allocate Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

deepErrorX :: String -> Allocate #

hasUndefined :: Allocate -> Bool #

ensureSpine :: Allocate -> Allocate #

rnfX :: Allocate -> () #

ShowX Allocate Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

showsPrecX :: Int -> Allocate -> ShowS #

showX :: Allocate -> String #

showListX :: [Allocate] -> ShowS #

NFData Allocate Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

rnf :: Allocate -> () #

Generic Allocate Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Associated Types

type Rep Allocate
Instance details Defined in Protocols.Experimental.Axi4.Common type Rep Allocate = D1 ('MetaData "Allocate" "Protocols.Experimental.Axi4.Common" "clash-protocols-0.1-inplace" 'False) (C1 ('MetaCons "NoLookupCache" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LookupCache" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: Allocate -> Rep Allocate x #

to :: Rep Allocate x -> Allocate #

Show Allocate Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

showsPrec :: Int -> Allocate -> ShowS #

show :: Allocate -> String #

showList :: [Allocate] -> ShowS #

Eq Allocate Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

(==) :: Allocate -> Allocate -> Bool #

(/=) :: Allocate -> Allocate -> Bool #

type BitSize Allocate Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

type BitSize Allocate = CLog 2 (GConstructorCount (Rep Allocate)) + GFieldSize (Rep Allocate)

type Rep Allocate Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

type Rep Allocate = D1 ('MetaData "Allocate" "Protocols.Experimental.Axi4.Common" "clash-protocols-0.1-inplace" 'False) (C1 ('MetaCons "NoLookupCache" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LookupCache" 'PrefixI 'False) (U1 :: Type -> Type))

data OtherAllocate Source #

When set to OtherLookupCache, it is recommended that this transaction is allocated in the cache for performance reasons.

Constructors

OtherNoLookupCache
OtherLookupCache

Instances

Instances details

BitPack OtherAllocate Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Associated Types

type BitSize OtherAllocate
Instance details Defined in Protocols.Experimental.Axi4.Common type BitSize OtherAllocate = CLog 2 (GConstructorCount (Rep OtherAllocate)) + GFieldSize (Rep OtherAllocate)

Methods

pack :: OtherAllocate -> BitVector (BitSize OtherAllocate) #

unpack :: BitVector (BitSize OtherAllocate) -> OtherAllocate #

NFDataX OtherAllocate Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

deepErrorX :: String -> OtherAllocate #

hasUndefined :: OtherAllocate -> Bool #

ensureSpine :: OtherAllocate -> OtherAllocate #

rnfX :: OtherAllocate -> () #

ShowX OtherAllocate Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

showsPrecX :: Int -> OtherAllocate -> ShowS #

showX :: OtherAllocate -> String #

showListX :: [OtherAllocate] -> ShowS #

NFData OtherAllocate Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

rnf :: OtherAllocate -> () #

Generic OtherAllocate Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Associated Types

type Rep OtherAllocate
Instance details Defined in Protocols.Experimental.Axi4.Common type Rep OtherAllocate = D1 ('MetaData "OtherAllocate" "Protocols.Experimental.Axi4.Common" "clash-protocols-0.1-inplace" 'False) (C1 ('MetaCons "OtherNoLookupCache" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OtherLookupCache" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: OtherAllocate -> Rep OtherAllocate x #

to :: Rep OtherAllocate x -> OtherAllocate #

Show OtherAllocate Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

showsPrec :: Int -> OtherAllocate -> ShowS #

show :: OtherAllocate -> String #

showList :: [OtherAllocate] -> ShowS #

Eq OtherAllocate Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

(==) :: OtherAllocate -> OtherAllocate -> Bool #

(/=) :: OtherAllocate -> OtherAllocate -> Bool #

type BitSize OtherAllocate Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

type BitSize OtherAllocate = CLog 2 (GConstructorCount (Rep OtherAllocate)) + GFieldSize (Rep OtherAllocate)

type Rep OtherAllocate Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

type Rep OtherAllocate = D1 ('MetaData "OtherAllocate" "Protocols.Experimental.Axi4.Common" "clash-protocols-0.1-inplace" 'False) (C1 ('MetaCons "OtherNoLookupCache" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OtherLookupCache" 'PrefixI 'False) (U1 :: Type -> Type))

type AwCache = (Bufferable, Modifiable, OtherAllocate, Allocate) Source #

Memory attributes. Note that the Allocate and OtherAllocate bits are in different positions for read and write requests.

type ArCache = (Bufferable, Modifiable, Allocate, OtherAllocate) Source #

Memory attributes. Note that the Allocate and OtherAllocate bits are in different positions for read and write requests.

data Resp Source #

Status of the write transaction.

Constructors

ROkay	Normal access success. Indicates that a normal access has been successful. Can also indicate an exclusive access has failed.
RExclusiveOkay	Exclusive access okay. Indicates that either the read or write portion of an exclusive access has been successful.
RSlaveError	Slave error. Used when the access has reached the slave successfully, but the slave wishes to return an error condition to the originating master.
RDecodeError	Decode error. Generated, typically by an interconnect component, to indicate that there is no slave at the transaction address.

Instances

Instances details

BitPack Resp Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Associated Types

type BitSize Resp
Instance details Defined in Protocols.Experimental.Axi4.Common type BitSize Resp = CLog 2 (GConstructorCount (Rep Resp)) + GFieldSize (Rep Resp)

Methods

pack :: Resp -> BitVector (BitSize Resp) #

unpack :: BitVector (BitSize Resp) -> Resp #

NFDataX Resp Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

deepErrorX :: String -> Resp #

hasUndefined :: Resp -> Bool #

ensureSpine :: Resp -> Resp #

rnfX :: Resp -> () #

ShowX Resp Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

showsPrecX :: Int -> Resp -> ShowS #

showX :: Resp -> String #

showListX :: [Resp] -> ShowS #

NFData Resp Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

rnf :: Resp -> () #

Generic Resp Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Associated Types

type Rep Resp

Instance details

Defined in Protocols.Experimental.Axi4.Common

type Rep Resp = D1 ('MetaData "Resp" "Protocols.Experimental.Axi4.Common" "clash-protocols-0.1-inplace" 'False) ((C1 ('MetaCons "ROkay" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RExclusiveOkay" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "RSlaveError" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RDecodeError" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: Resp -> Rep Resp x #

to :: Rep Resp x -> Resp #

Show Resp Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

showsPrec :: Int -> Resp -> ShowS #

show :: Resp -> String #

showList :: [Resp] -> ShowS #

Eq Resp Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

(==) :: Resp -> Resp -> Bool #

(/=) :: Resp -> Resp -> Bool #

type BitSize Resp Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

type BitSize Resp = CLog 2 (GConstructorCount (Rep Resp)) + GFieldSize (Rep Resp)

type Rep Resp Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

type Rep Resp = D1 ('MetaData "Resp" "Protocols.Experimental.Axi4.Common" "clash-protocols-0.1-inplace" 'False) ((C1 ('MetaCons "ROkay" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RExclusiveOkay" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "RSlaveError" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RDecodeError" 'PrefixI 'False) (U1 :: Type -> Type)))

data AtomicAccess Source #

Whether a resource is accessed with exclusive access or not

Constructors

NonExclusiveAccess
ExclusiveAccess

Instances

Instances details

BitPack AtomicAccess Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Associated Types

type BitSize AtomicAccess
Instance details Defined in Protocols.Experimental.Axi4.Common type BitSize AtomicAccess = CLog 2 (GConstructorCount (Rep AtomicAccess)) + GFieldSize (Rep AtomicAccess)

Methods

pack :: AtomicAccess -> BitVector (BitSize AtomicAccess) #

unpack :: BitVector (BitSize AtomicAccess) -> AtomicAccess #

NFDataX AtomicAccess Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

deepErrorX :: String -> AtomicAccess #

hasUndefined :: AtomicAccess -> Bool #

ensureSpine :: AtomicAccess -> AtomicAccess #

rnfX :: AtomicAccess -> () #

ShowX AtomicAccess Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

showsPrecX :: Int -> AtomicAccess -> ShowS #

showX :: AtomicAccess -> String #

showListX :: [AtomicAccess] -> ShowS #

NFData AtomicAccess Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

rnf :: AtomicAccess -> () #

Generic AtomicAccess Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Associated Types

type Rep AtomicAccess
Instance details Defined in Protocols.Experimental.Axi4.Common type Rep AtomicAccess = D1 ('MetaData "AtomicAccess" "Protocols.Experimental.Axi4.Common" "clash-protocols-0.1-inplace" 'False) (C1 ('MetaCons "NonExclusiveAccess" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExclusiveAccess" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: AtomicAccess -> Rep AtomicAccess x #

to :: Rep AtomicAccess x -> AtomicAccess #

Show AtomicAccess Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

showsPrec :: Int -> AtomicAccess -> ShowS #

show :: AtomicAccess -> String #

showList :: [AtomicAccess] -> ShowS #

Eq AtomicAccess Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

(==) :: AtomicAccess -> AtomicAccess -> Bool #

(/=) :: AtomicAccess -> AtomicAccess -> Bool #

type BitSize AtomicAccess Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

type BitSize AtomicAccess = CLog 2 (GConstructorCount (Rep AtomicAccess)) + GFieldSize (Rep AtomicAccess)

type Rep AtomicAccess Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

type Rep AtomicAccess = D1 ('MetaData "AtomicAccess" "Protocols.Experimental.Axi4.Common" "clash-protocols-0.1-inplace" 'False) (C1 ('MetaCons "NonExclusiveAccess" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExclusiveAccess" 'PrefixI 'False) (U1 :: Type -> Type))

data Modifiable Source #

Whether transaction can be modified

Constructors

Modifiable
NonModifiable

Instances

Instances details

BitPack Modifiable Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Associated Types

type BitSize Modifiable
Instance details Defined in Protocols.Experimental.Axi4.Common type BitSize Modifiable = CLog 2 (GConstructorCount (Rep Modifiable)) + GFieldSize (Rep Modifiable)

Methods

pack :: Modifiable -> BitVector (BitSize Modifiable) #

unpack :: BitVector (BitSize Modifiable) -> Modifiable #

NFDataX Modifiable Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

deepErrorX :: String -> Modifiable #

hasUndefined :: Modifiable -> Bool #

ensureSpine :: Modifiable -> Modifiable #

rnfX :: Modifiable -> () #

ShowX Modifiable Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

showsPrecX :: Int -> Modifiable -> ShowS #

showX :: Modifiable -> String #

showListX :: [Modifiable] -> ShowS #

NFData Modifiable Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

rnf :: Modifiable -> () #

Generic Modifiable Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Associated Types

type Rep Modifiable
Instance details Defined in Protocols.Experimental.Axi4.Common type Rep Modifiable = D1 ('MetaData "Modifiable" "Protocols.Experimental.Axi4.Common" "clash-protocols-0.1-inplace" 'False) (C1 ('MetaCons "Modifiable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NonModifiable" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: Modifiable -> Rep Modifiable x #

to :: Rep Modifiable x -> Modifiable #

Show Modifiable Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

showsPrec :: Int -> Modifiable -> ShowS #

show :: Modifiable -> String #

showList :: [Modifiable] -> ShowS #

Eq Modifiable Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

(==) :: Modifiable -> Modifiable -> Bool #

(/=) :: Modifiable -> Modifiable -> Bool #

type BitSize Modifiable Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

type BitSize Modifiable = CLog 2 (GConstructorCount (Rep Modifiable)) + GFieldSize (Rep Modifiable)

type Rep Modifiable Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

type Rep Modifiable = D1 ('MetaData "Modifiable" "Protocols.Experimental.Axi4.Common" "clash-protocols-0.1-inplace" 'False) (C1 ('MetaCons "Modifiable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NonModifiable" 'PrefixI 'False) (U1 :: Type -> Type))

data Secure Source #

An AXI master might support Secure and Non-secure operating states, and extend this concept of security to memory access.

Constructors

Secure
NonSecure

Instances

Instances details

BitPack Secure Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Associated Types

type BitSize Secure
Instance details Defined in Protocols.Experimental.Axi4.Common type BitSize Secure = CLog 2 (GConstructorCount (Rep Secure)) + GFieldSize (Rep Secure)

Methods

pack :: Secure -> BitVector (BitSize Secure) #

unpack :: BitVector (BitSize Secure) -> Secure #

NFDataX Secure Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

deepErrorX :: String -> Secure #

hasUndefined :: Secure -> Bool #

ensureSpine :: Secure -> Secure #

rnfX :: Secure -> () #

ShowX Secure Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

showsPrecX :: Int -> Secure -> ShowS #

showX :: Secure -> String #

showListX :: [Secure] -> ShowS #

NFData Secure Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

rnf :: Secure -> () #

Generic Secure Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Associated Types

type Rep Secure
Instance details Defined in Protocols.Experimental.Axi4.Common type Rep Secure = D1 ('MetaData "Secure" "Protocols.Experimental.Axi4.Common" "clash-protocols-0.1-inplace" 'False) (C1 ('MetaCons "Secure" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NonSecure" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: Secure -> Rep Secure x #

to :: Rep Secure x -> Secure #

Show Secure Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

showsPrec :: Int -> Secure -> ShowS #

show :: Secure -> String #

showList :: [Secure] -> ShowS #

Eq Secure Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

(==) :: Secure -> Secure -> Bool #

(/=) :: Secure -> Secure -> Bool #

type BitSize Secure Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

type BitSize Secure = CLog 2 (GConstructorCount (Rep Secure)) + GFieldSize (Rep Secure)

type Rep Secure Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

type Rep Secure = D1 ('MetaData "Secure" "Protocols.Experimental.Axi4.Common" "clash-protocols-0.1-inplace" 'False) (C1 ('MetaCons "Secure" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NonSecure" 'PrefixI 'False) (U1 :: Type -> Type))

data Privileged Source #

An AXI master might support more than one level of operating privilege, and extend this concept of privilege to memory access.

Constructors

NotPrivileged
Privileged

Instances

Instances details

BitPack Privileged Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Associated Types

type BitSize Privileged
Instance details Defined in Protocols.Experimental.Axi4.Common type BitSize Privileged = CLog 2 (GConstructorCount (Rep Privileged)) + GFieldSize (Rep Privileged)

Methods

pack :: Privileged -> BitVector (BitSize Privileged) #

unpack :: BitVector (BitSize Privileged) -> Privileged #

NFDataX Privileged Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

deepErrorX :: String -> Privileged #

hasUndefined :: Privileged -> Bool #

ensureSpine :: Privileged -> Privileged #

rnfX :: Privileged -> () #

ShowX Privileged Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

showsPrecX :: Int -> Privileged -> ShowS #

showX :: Privileged -> String #

showListX :: [Privileged] -> ShowS #

NFData Privileged Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

rnf :: Privileged -> () #

Generic Privileged Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Associated Types

type Rep Privileged
Instance details Defined in Protocols.Experimental.Axi4.Common type Rep Privileged = D1 ('MetaData "Privileged" "Protocols.Experimental.Axi4.Common" "clash-protocols-0.1-inplace" 'False) (C1 ('MetaCons "NotPrivileged" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Privileged" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: Privileged -> Rep Privileged x #

to :: Rep Privileged x -> Privileged #

Show Privileged Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

showsPrec :: Int -> Privileged -> ShowS #

show :: Privileged -> String #

showList :: [Privileged] -> ShowS #

Eq Privileged Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

(==) :: Privileged -> Privileged -> Bool #

(/=) :: Privileged -> Privileged -> Bool #

type BitSize Privileged Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

type BitSize Privileged = CLog 2 (GConstructorCount (Rep Privileged)) + GFieldSize (Rep Privileged)

type Rep Privileged Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

type Rep Privileged = D1 ('MetaData "Privileged" "Protocols.Experimental.Axi4.Common" "clash-protocols-0.1-inplace" 'False) (C1 ('MetaCons "NotPrivileged" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Privileged" 'PrefixI 'False) (U1 :: Type -> Type))

data InstructionOrData Source #

Whether the transaction is an instruction access or a data access. The AXI protocol defines this indication as a hint. It is not accurate in all cases, for example, where a transaction contains a mix of instruction and data items. This specification recommends that a master sets it to Data, to indicate a data access unless the access is specifically known to be an instruction access.

Constructors

Data
Instruction

Instances

Instances details

BitPack InstructionOrData Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Associated Types

type BitSize InstructionOrData
Instance details Defined in Protocols.Experimental.Axi4.Common type BitSize InstructionOrData = CLog 2 (GConstructorCount (Rep InstructionOrData)) + GFieldSize (Rep InstructionOrData)

Methods

pack :: InstructionOrData -> BitVector (BitSize InstructionOrData) #

unpack :: BitVector (BitSize InstructionOrData) -> InstructionOrData #

NFDataX InstructionOrData Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

deepErrorX :: String -> InstructionOrData #

hasUndefined :: InstructionOrData -> Bool #

ensureSpine :: InstructionOrData -> InstructionOrData #

rnfX :: InstructionOrData -> () #

ShowX InstructionOrData Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

showsPrecX :: Int -> InstructionOrData -> ShowS #

showX :: InstructionOrData -> String #

showListX :: [InstructionOrData] -> ShowS #

NFData InstructionOrData Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

rnf :: InstructionOrData -> () #

Generic InstructionOrData Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Associated Types

type Rep InstructionOrData
Instance details Defined in Protocols.Experimental.Axi4.Common type Rep InstructionOrData = D1 ('MetaData "InstructionOrData" "Protocols.Experimental.Axi4.Common" "clash-protocols-0.1-inplace" 'False) (C1 ('MetaCons "Data" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Instruction" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: InstructionOrData -> Rep InstructionOrData x #

to :: Rep InstructionOrData x -> InstructionOrData #

Show InstructionOrData Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

showsPrec :: Int -> InstructionOrData -> ShowS #

show :: InstructionOrData -> String #

showList :: [InstructionOrData] -> ShowS #

Eq InstructionOrData Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

Methods

(==) :: InstructionOrData -> InstructionOrData -> Bool #

(/=) :: InstructionOrData -> InstructionOrData -> Bool #

type BitSize InstructionOrData Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

type BitSize InstructionOrData = CLog 2 (GConstructorCount (Rep InstructionOrData)) + GFieldSize (Rep InstructionOrData)

type Rep InstructionOrData Source #

Instance details

Defined in Protocols.Experimental.Axi4.Common

type Rep InstructionOrData = D1 ('MetaData "InstructionOrData" "Protocols.Experimental.Axi4.Common" "clash-protocols-0.1-inplace" 'False) (C1 ('MetaCons "Data" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Instruction" 'PrefixI 'False) (U1 :: Type -> Type))

type Permissions = (Privileged, Secure, InstructionOrData) Source #

Enables or disables Privileged, Secure, and InstructionOrData