-
Notifications
You must be signed in to change notification settings - Fork 8
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
9919236
commit 57012f0
Showing
14 changed files
with
807 additions
and
29 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Empty file.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,186 @@ | ||
| {-| | ||
| Defines ReadAddress channel of full AXI4 protocol with port names corresponding | ||
| to the AXI4 specification. | ||
| -} | ||
| {-# LANGUAGE FlexibleContexts #-} | ||
| {-# LANGUAGE FlexibleInstances #-} | ||
| {-# LANGUAGE MultiParamTypeClasses #-} | ||
| {-# LANGUAGE NamedFieldPuns #-} | ||
| {-# LANGUAGE UndecidableInstances #-} | ||
|
|
||
| {-# OPTIONS_GHC -Wno-missing-fields #-} | ||
|
|
||
| module Protocols.Axi4.Strict.Full.ReadAddress | ||
| ( M2S_ReadAddress(..) | ||
| , S2M_ReadAddress(..) | ||
| , Axi4ReadAddress | ||
| ) where | ||
|
|
||
| -- base | ||
| import Data.Coerce | ||
| import Data.Kind (Type) | ||
| import Data.Proxy | ||
| import GHC.Generics (Generic) | ||
|
|
||
| -- clash-prelude | ||
| import qualified Clash.Prelude as C | ||
|
|
||
| -- me | ||
| import Protocols.Axi4.Common | ||
| import Protocols.Internal | ||
| import Protocols.DfLike (DfLike) | ||
| import qualified Protocols.DfLike as DfLike | ||
|
|
||
| -- | AXI4 Read Address channel protocol | ||
| data Axi4ReadAddress | ||
| (dom :: C.Domain) | ||
| (kb :: KeepBurst) | ||
| (ksz :: KeepSize) | ||
| (lw :: LengthWidth) | ||
| (iw :: IdWidth) | ||
| (aw :: AddrWidth) | ||
| (kr :: KeepRegion) | ||
| (kbl :: KeepBurstLength) | ||
| (kl :: KeepLock) | ||
| (kc :: KeepCache) | ||
| (kp :: KeepPermissions) | ||
| (kq :: KeepQos) | ||
| (userType :: Type) | ||
|
|
||
| instance Protocol (Axi4ReadAddress dom kb ksz lw iw aw kr kbl kl kc kp kq userType) where | ||
| type Fwd (Axi4ReadAddress dom kb ksz lw iw aw kr kbl kl kc kp kq userType) = | ||
| C.Signal dom (M2S_ReadAddress kb ksz lw iw aw kr kbl kl kc kp kq userType) | ||
| type Bwd (Axi4ReadAddress dom kb ksz lw iw aw kr kbl kl kc kp kq userType) = | ||
| C.Signal dom S2M_ReadAddress | ||
|
|
||
| instance Backpressure (Axi4ReadAddress dom kb ksz lw iw aw kr kbl kl kc kp kq userType) where | ||
| boolsToBwd _ = C.fromList_lazy . coerce | ||
|
|
||
| instance DfLike dom (Axi4ReadAddress dom kb ksz lw iw aw kr kbl kl kc kp kq) userType where | ||
| type Data (Axi4ReadAddress dom kb ksz lw iw aw kr kbl kl kc kp kq) userType = | ||
| M2S_ReadAddress kb ksz lw iw aw kr kbl kl kc kp kq userType | ||
|
|
||
| type Payload userType = userType | ||
|
|
||
| type Ack (Axi4ReadAddress dom kb ksz lw iw aw kr kbl kl kc kp kq) userType = | ||
| S2M_ReadAddress | ||
|
|
||
| getPayload _ (M2S_ReadAddress{_aruser}) = Just _aruser | ||
| getPayload _ M2S_NoReadAddress = Nothing | ||
| {-# INLINE getPayload #-} | ||
|
|
||
| setPayload _ _ dat (Just b) = dat{_aruser=b} | ||
| setPayload _ dfB _ Nothing = DfLike.noData dfB | ||
| {-# INLINE setPayload #-} | ||
|
|
||
| noData _ = M2S_NoReadAddress | ||
| {-# INLINE noData #-} | ||
|
|
||
| boolToAck _ = coerce | ||
| {-# INLINE boolToAck #-} | ||
|
|
||
| ackToBool _ = coerce | ||
| {-# INLINE ackToBool #-} | ||
|
|
||
| instance (C.KnownDomain dom, C.NFDataX userType, C.ShowX userType, Show userType) => | ||
| Simulate (Axi4ReadAddress dom kb ksz lw iw aw kr kbl kl kc kp kq userType) where | ||
|
|
||
| type SimulateType (Axi4ReadAddress dom kb ksz lw iw aw kr kbl kl kc kp kq userType) = | ||
| [M2S_ReadAddress kb ksz lw iw aw kr kbl kl kc kp kq userType] | ||
|
|
||
| type ExpectType (Axi4ReadAddress dom kb ksz lw iw aw kr kbl kl kc kp kq userType) = | ||
| [M2S_ReadAddress kb ksz lw iw aw kr kbl kl kc kp kq userType] | ||
|
|
||
| type SimulateChannels (Axi4ReadAddress dom kb ksz lw iw aw kr kbl kl kc kp kq userType) = 1 | ||
|
|
||
| toSimulateType _ = id | ||
| fromSimulateType _ = id | ||
|
|
||
| driveC = DfLike.drive Proxy | ||
| sampleC = DfLike.sample Proxy | ||
| stallC conf (C.head -> (stallAck, stalls)) = | ||
| DfLike.stall Proxy conf stallAck stalls | ||
|
|
||
| -- | See Table A2-5 "Read address channel signals" | ||
| data M2S_ReadAddress | ||
| (kb :: KeepBurst) | ||
| (ksz :: KeepSize) | ||
| (lw :: LengthWidth) | ||
| (iw :: IdWidth) | ||
| (aw :: AddrWidth) | ||
| (kr :: KeepRegion) | ||
| (kbl :: KeepBurstLength) | ||
| (kl :: KeepLock) | ||
| (kc :: KeepCache) | ||
| (kp :: KeepPermissions) | ||
| (kq :: KeepQos) | ||
| (userType :: Type) | ||
| = M2S_NoReadAddress | ||
| | M2S_ReadAddress | ||
| { -- | Read address id* | ||
| _arid :: !(C.BitVector (Width iw)) | ||
|
|
||
| -- | Read address | ||
| , _araddr :: !(C.BitVector (Width aw)) | ||
|
|
||
| -- | Read region* | ||
| , _arregion :: !(RegionType kr) | ||
|
|
||
| -- | Burst length* | ||
| , _arlen :: !(BurstLengthType kbl) | ||
|
|
||
| -- | Burst size* | ||
| , _arsize :: !(SizeType ksz) | ||
|
|
||
| -- | Burst type* | ||
| , _arburst :: !(BurstType kb) | ||
|
|
||
| -- | Lock type* | ||
| , _arlock :: !(LockType kl) | ||
|
|
||
| -- | Cache type* (has been renamed to modifiable in AXI spec) | ||
| , _arcache :: !(CacheType kc) | ||
|
|
||
| -- | Protection type | ||
| , _arprot :: !(PermissionsType kp) | ||
|
|
||
| -- | QoS value | ||
| , _arqos :: !(QosType kq) | ||
|
|
||
| -- | User data | ||
| , _aruser :: !userType | ||
| } | ||
| deriving (Generic) | ||
|
|
||
| -- | See Table A2-5 "Read address channel signals" | ||
| newtype S2M_ReadAddress = S2M_ReadAddress | ||
| { _arready :: Bool } | ||
| deriving (Show, Generic, C.NFDataX) | ||
|
|
||
| deriving instance | ||
| ( C.KnownNat (Width iw) | ||
| , C.KnownNat (Width aw) | ||
| , Show (SizeType ksz) | ||
| , Show (BurstType kb) | ||
| , Show userType | ||
| , Show (RegionType kr) | ||
| , Show (BurstLengthType kbl) | ||
| , Show (LockType kl) | ||
| , Show (CacheType kc) | ||
| , Show (PermissionsType kp) | ||
| , Show (QosType kq) ) => | ||
| Show (M2S_ReadAddress kb ksz lw iw aw kr kbl kl kc kp kq userType) | ||
|
|
||
| deriving instance | ||
| ( C.NFDataX userType | ||
| , C.NFDataX (BurstType kb) | ||
| , C.NFDataX (SizeType ksz) | ||
| , C.NFDataX (BurstType kb) | ||
| , C.NFDataX userType | ||
| , C.NFDataX (RegionType kr) | ||
| , C.NFDataX (BurstLengthType kbl) | ||
| , C.NFDataX (LockType kl) | ||
| , C.NFDataX (CacheType kc) | ||
| , C.NFDataX (PermissionsType kp) | ||
| , C.NFDataX (QosType kq) ) => | ||
| C.NFDataX (M2S_ReadAddress kb ksz lw iw aw kr kbl kl kc kp kq userType) |
Oops, something went wrong.