Copyright	(c) Aleksandr Penskoi 2019
License	BSD3
Maintainer	aleksandr.penskoi@gmail.com
Stability	experimental
Safe Haskell	Safe-Inferred
Language	Haskell2010

NITTA.Model.ProcessorUnits.Fram

Description

Synopsis

data Fram v x t = Fram {
- memory :: Array Int (Cell v x t)
- remainBuffers :: [(Buffer v x, Job v x t)]
- process_ :: Process t (StepInfo v x t)
}
data family Ports pu :: Type
data family IOPorts pu :: Type
framWithSize :: (Default x, Default t) => Int -> Fram v x t

Documentation

data Fram v x t Source #

Constructors

Fram
Fields memory :: Array Int (Cell v x t) memory cell array remainBuffers :: [(Buffer v x, Job v x t)] register queue process_ :: Process t (StepInfo v x t)

Instances

Instances details

Show (IOPorts (Fram v x t)) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram Methods showsPrec :: Int -> IOPorts (Fram v x t) -> ShowS # show :: IOPorts (Fram v x t) -> String # showList :: [IOPorts (Fram v x t)] -> ShowS #
Show (Instruction (Fram v x t)) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram Methods showsPrec :: Int -> Instruction (Fram v x t) -> ShowS # show :: Instruction (Fram v x t) -> String # showList :: [Instruction (Fram v x t)] -> ShowS #
Show (Microcode (Fram v x t)) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram Methods showsPrec :: Int -> Microcode (Fram v x t) -> ShowS # show :: Microcode (Fram v x t) -> String # showList :: [Microcode (Fram v x t)] -> ShowS #
Show (Ports (Fram v x t)) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram Methods showsPrec :: Int -> Ports (Fram v x t) -> ShowS # show :: Ports (Fram v x t) -> String # showList :: [Ports (Fram v x t)] -> ShowS #
Default (Microcode (Fram v x t)) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram Methods def :: Microcode (Fram v x t) #
Eq (Microcode (Fram v x t)) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram Methods (==) :: Microcode (Fram v x t) -> Microcode (Fram v x t) -> Bool # (/=) :: Microcode (Fram v x t) -> Microcode (Fram v x t) -> Bool #
Ord (Microcode (Fram v x t)) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram Methods compare :: Microcode (Fram v x t) -> Microcode (Fram v x t) -> Ordering # (<) :: Microcode (Fram v x t) -> Microcode (Fram v x t) -> Bool # (<=) :: Microcode (Fram v x t) -> Microcode (Fram v x t) -> Bool # (>) :: Microcode (Fram v x t) -> Microcode (Fram v x t) -> Bool # (>=) :: Microcode (Fram v x t) -> Microcode (Fram v x t) -> Bool # max :: Microcode (Fram v x t) -> Microcode (Fram v x t) -> Microcode (Fram v x t) # min :: Microcode (Fram v x t) -> Microcode (Fram v x t) -> Microcode (Fram v x t) #
(Default t, Default x) => Default (Fram v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram Methods def :: Fram v x t #
Connected (Fram v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram Associated Types data Ports (Fram v x t) Source #
Controllable (Fram v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram Associated Types data Instruction (Fram v x t) Source # data Microcode (Fram v x t) Source # Methods zipSignalTagsAndValues :: Ports (Fram v x t) -> Microcode (Fram v x t) -> [(SignalTag, SignalValue)] Source # usedPortTags :: Ports (Fram v x t) -> [SignalTag] Source # takePortTags :: [SignalTag] -> Fram v x t -> Ports (Fram v x t) Source #
IOConnected (Fram v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram Associated Types data IOPorts (Fram v x t) Source # Methods inputPorts :: IOPorts (Fram v x t) -> Set InputPortTag Source # outputPorts :: IOPorts (Fram v x t) -> Set OutputPortTag Source # inoutPorts :: IOPorts (Fram v x t) -> Set InoutPortTag Source #
UnambiguouslyDecode (Fram v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram Methods decodeInstruction :: Instruction (Fram v x t) -> Microcode (Fram v x t) Source #
VarValTime v x t => TargetSystemComponent (Fram v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram Methods moduleName :: Text -> Fram v x t -> Text Source # software :: Text -> Fram v x t -> Implementation Source # hardware :: Text -> Fram v x t -> Implementation Source # hardwareInstance :: Text -> Fram v x t -> UnitEnv (Fram v x t) -> Verilog Source #
VarValTime v x t => Pretty (Fram v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram Methods pretty :: Fram v x t -> Doc ann # prettyList :: [Fram v x t] -> Doc ann #
Var v => Locks (Fram v x t) v Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram Methods locks :: Fram v x t -> [Lock v] Source #
Default x => DefaultX (Fram v x t) x Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram Methods defX :: Fram v x t -> x Source #
VarValTime v x t => Variables (Fram v x t) v Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram Methods variables :: Fram v x t -> Set v Source #
VarValTime v x t => EndpointProblem (Fram v x t) v t Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram Methods endpointOptions :: Fram v x t -> [EndpointSt v (TimeConstraint t)] Source # endpointDecision :: Fram v x t -> EndpointSt v (Interval t) -> Fram v x t Source #
VarValTime v x t => BreakLoopProblem (Fram v x t) v x Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram Methods breakLoopOptions :: Fram v x t -> [BreakLoop v x] Source # breakLoopDecision :: Fram v x t -> BreakLoop v x -> Fram v x t Source #
ConstantFoldingProblem (Fram v x t) v x Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram Methods constantFoldingOptions :: Fram v x t -> [ConstantFolding v x] Source # constantFoldingDecision :: Fram v x t -> ConstantFolding v x -> Fram v x t Source #
OptimizeAccumProblem (Fram v x t) v x Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram Methods optimizeAccumOptions :: Fram v x t -> [OptimizeAccum v x] Source # optimizeAccumDecision :: Fram v x t -> OptimizeAccum v x -> Fram v x t Source #
OptimizeLogicalUnitProblem (Fram v x t) v x Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram Methods optimizeLogicalUnitOptions :: Fram v x t -> [OptimizeLogicalUnit v x] Source # optimizeLogicalUnitDecision :: Fram v x t -> OptimizeLogicalUnit v x -> Fram v x t Source #
ResolveDeadlockProblem (Fram v x t) v x Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram Methods resolveDeadlockOptions :: Fram v x t -> [ResolveDeadlock v x] Source # resolveDeadlockDecision :: Fram v x t -> ResolveDeadlock v x -> Fram v x t Source #
IOTestBench (Fram v x t) v x Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram Methods testEnvironmentInitFlag :: Text -> Fram v x t -> Maybe Text Source # testEnvironment :: Text -> Fram v x t -> UnitEnv (Fram v x t) -> TestEnvironment v x -> Maybe Verilog Source #
VarValTime v x t => Testable (Fram v x t) v x Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram Methods testBenchImplementation :: Project (Fram v x t) v x -> Implementation Source #
VarValTime v x t => ProcessorUnit (Fram v x t) v x t Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram Methods tryBind :: F v x -> Fram v x t -> Either String (Fram v x t) Source # process :: Fram v x t -> Process t (StepInfo v x t) Source # parallelismType :: Fram v x t -> ParallelismType Source # puSize :: Fram v x t -> Float Source #
VarValTime v x t => WithFunctions (Fram v x t) (F v x) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram Methods functions :: Fram v x t -> [F v x] Source #
data IOPorts (Fram v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram data IOPorts (Fram v x t) = FramIO
data Instruction (Fram v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram data Instruction (Fram v x t) = PrepareRead Int \| Write Int
data Microcode (Fram v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram data Microcode (Fram v x t) = Microcode { oeSignal :: Bool wrSignal :: Bool addrSignal :: Maybe Int }
data Ports (Fram v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram data Ports (Fram v x t) = FramPorts { oe :: SignalTag wr :: SignalTag addr :: [SignalTag] }

data family Ports pu :: Type Source #

A processor unit control ports (signals, flags).

Instances

Instances details

Show (Ports (BusNetwork tag v x t)) Source #
Instance details Defined in NITTA.Model.Networks.Bus Methods showsPrec :: Int -> Ports (BusNetwork tag v x t) -> ShowS # show :: Ports (BusNetwork tag v x t) -> String # showList :: [Ports (BusNetwork tag v x t)] -> ShowS #
Show (Ports (Accum v x t)) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Accum Methods showsPrec :: Int -> Ports (Accum v x t) -> ShowS # show :: Ports (Accum v x t) -> String # showList :: [Ports (Accum v x t)] -> ShowS #
Show (Ports (Broken v x t)) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Broken Methods showsPrec :: Int -> Ports (Broken v x t) -> ShowS # show :: Ports (Broken v x t) -> String # showList :: [Ports (Broken v x t)] -> ShowS #
Show (Ports (Comparator v x t)) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Comparator Methods showsPrec :: Int -> Ports (Comparator v x t) -> ShowS # show :: Ports (Comparator v x t) -> String # showList :: [Ports (Comparator v x t)] -> ShowS #
Show (Ports (Divider v x t)) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Divider Methods showsPrec :: Int -> Ports (Divider v x t) -> ShowS # show :: Ports (Divider v x t) -> String # showList :: [Ports (Divider v x t)] -> ShowS #
Show (Ports (Fram v x t)) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram Methods showsPrec :: Int -> Ports (Fram v x t) -> ShowS # show :: Ports (Fram v x t) -> String # showList :: [Ports (Fram v x t)] -> ShowS #
Show (Ports (SimpleIO i v x t)) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.IO.SimpleIO Methods showsPrec :: Int -> Ports (SimpleIO i v x t) -> ShowS # show :: Ports (SimpleIO i v x t) -> String # showList :: [Ports (SimpleIO i v x t)] -> ShowS #
Show (Ports (LogicalUnit v x t)) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.LogicalUnit Methods showsPrec :: Int -> Ports (LogicalUnit v x t) -> ShowS # show :: Ports (LogicalUnit v x t) -> String # showList :: [Ports (LogicalUnit v x t)] -> ShowS #
Show (Ports (Multiplier v x t)) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Multiplier Methods showsPrec :: Int -> Ports (Multiplier v x t) -> ShowS # show :: Ports (Multiplier v x t) -> String # showList :: [Ports (Multiplier v x t)] -> ShowS #
Show (Ports (Shift v x t)) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Shift Methods showsPrec :: Int -> Ports (Shift v x t) -> ShowS # show :: Ports (Shift v x t) -> String # showList :: [Ports (Shift v x t)] -> ShowS #
data Ports (Accum v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Accum data Ports (Accum v x t) = AccumPorts { resetAcc :: SignalTag load :: SignalTag neg :: SignalTag oe :: SignalTag }
data Ports (Broken v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Broken data Ports (Broken v x t) = BrokenPorts { wr :: SignalTag oe :: SignalTag }
data Ports (Comparator v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Comparator data Ports (Comparator v x t) = ComparePorts { oePort :: SignalTag wrPort :: SignalTag opSelPort :: [SignalTag] }
data Ports (Divider v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Divider data Ports (Divider v x t) = DividerPorts { sel :: SignalTag wr :: SignalTag oe :: SignalTag }
data Ports (Fram v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram data Ports (Fram v x t) = FramPorts { oe :: SignalTag wr :: SignalTag addr :: [SignalTag] }
data Ports (LogicalUnit v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.LogicalUnit data Ports (LogicalUnit v x t) = LOGICALUNITPorts { oe :: SignalTag wr :: SignalTag sel :: [SignalTag] }
data Ports (Multiplexer v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Multiplexer data Ports (Multiplexer v x t) = MultiplexerPorts { dataInPort :: SignalTag selPort :: SignalTag outPort :: SignalTag }
data Ports (Multiplier v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Multiplier data Ports (Multiplier v x t) = MultiplierPorts { wr :: SignalTag oe :: SignalTag }
data Ports (Shift v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Shift data Ports (Shift v x t) = ShiftPorts { work :: SignalTag direction :: SignalTag mode :: SignalTag step :: SignalTag init :: SignalTag oe :: SignalTag }
data Ports (BusNetwork tag v x t) Source #
Instance details Defined in NITTA.Model.Networks.Bus data Ports (BusNetwork tag v x t) = BusNetworkPorts
data Ports (SimpleIO i v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.IO.SimpleIO data Ports (SimpleIO i v x t) = SimpleIOPorts { wr :: SignalTag oe :: SignalTag stop :: String }

data family IOPorts pu :: Type Source #

Instances

Instances details

Show (IOPorts (BusNetwork tag v x t)) Source #
Instance details Defined in NITTA.Model.Networks.Bus Methods showsPrec :: Int -> IOPorts (BusNetwork tag v x t) -> ShowS # show :: IOPorts (BusNetwork tag v x t) -> String # showList :: [IOPorts (BusNetwork tag v x t)] -> ShowS #
Show (IOPorts (Accum v x t)) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Accum Methods showsPrec :: Int -> IOPorts (Accum v x t) -> ShowS # show :: IOPorts (Accum v x t) -> String # showList :: [IOPorts (Accum v x t)] -> ShowS #
Show (IOPorts (Broken v x t)) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Broken Methods showsPrec :: Int -> IOPorts (Broken v x t) -> ShowS # show :: IOPorts (Broken v x t) -> String # showList :: [IOPorts (Broken v x t)] -> ShowS #
Show (IOPorts (Comparator v x t)) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Comparator Methods showsPrec :: Int -> IOPorts (Comparator v x t) -> ShowS # show :: IOPorts (Comparator v x t) -> String # showList :: [IOPorts (Comparator v x t)] -> ShowS #
Show (IOPorts (Divider v x t)) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Divider Methods showsPrec :: Int -> IOPorts (Divider v x t) -> ShowS # show :: IOPorts (Divider v x t) -> String # showList :: [IOPorts (Divider v x t)] -> ShowS #
Show (IOPorts (Fram v x t)) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram Methods showsPrec :: Int -> IOPorts (Fram v x t) -> ShowS # show :: IOPorts (Fram v x t) -> String # showList :: [IOPorts (Fram v x t)] -> ShowS #
Show (IOPorts (I2C v x t)) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.IO.I2C Methods showsPrec :: Int -> IOPorts (I2C v x t) -> ShowS # show :: IOPorts (I2C v x t) -> String # showList :: [IOPorts (I2C v x t)] -> ShowS #
Show (IOPorts (SPI v x t)) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.IO.SPI Methods showsPrec :: Int -> IOPorts (SPI v x t) -> ShowS # show :: IOPorts (SPI v x t) -> String # showList :: [IOPorts (SPI v x t)] -> ShowS #
Show (IOPorts (LogicalUnit v x t)) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.LogicalUnit Methods showsPrec :: Int -> IOPorts (LogicalUnit v x t) -> ShowS # show :: IOPorts (LogicalUnit v x t) -> String # showList :: [IOPorts (LogicalUnit v x t)] -> ShowS #
Show (IOPorts (Multiplexer v x t)) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Multiplexer Methods showsPrec :: Int -> IOPorts (Multiplexer v x t) -> ShowS # show :: IOPorts (Multiplexer v x t) -> String # showList :: [IOPorts (Multiplexer v x t)] -> ShowS #
Show (IOPorts (Multiplier v x t)) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Multiplier Methods showsPrec :: Int -> IOPorts (Multiplier v x t) -> ShowS # show :: IOPorts (Multiplier v x t) -> String # showList :: [IOPorts (Multiplier v x t)] -> ShowS #
data IOPorts (Accum v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Accum data IOPorts (Accum v x t) = AccumIO
data IOPorts (Broken v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Broken data IOPorts (Broken v x t) = BrokenIO
data IOPorts (Comparator v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Comparator data IOPorts (Comparator v x t) = CompareIO
data IOPorts (Divider v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Divider data IOPorts (Divider v x t) = DividerIO
data IOPorts (Fram v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Fram data IOPorts (Fram v x t) = FramIO
data IOPorts (I2C v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.IO.I2C data IOPorts (I2C v x t) = I2CMaster { masterSDA :: InoutPortTag masterSCL :: OutputPortTag } \| I2CSlave { slaveSDA :: InoutPortTag slaveSCL :: InputPortTag }
data IOPorts (SPI v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.IO.SPI data IOPorts (SPI v x t) = SPIMaster { master_mosi :: OutputPortTag master_miso :: InputPortTag master_sclk :: OutputPortTag master_cs :: OutputPortTag } \| SPISlave { slave_mosi :: InputPortTag slave_miso :: OutputPortTag slave_sclk :: InputPortTag slave_cs :: InputPortTag }
data IOPorts (LogicalUnit v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.LogicalUnit data IOPorts (LogicalUnit v x t) = LogicalUnitIO
data IOPorts (Multiplexer v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Multiplexer data IOPorts (Multiplexer v x t) = MultiplexerIO
data IOPorts (Multiplier v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Multiplier data IOPorts (Multiplier v x t) = MultiplierIO
data IOPorts (Shift v x t) Source #
Instance details Defined in NITTA.Model.ProcessorUnits.Shift data IOPorts (Shift v x t) = ShiftIO
data IOPorts (BusNetwork tag v x t) Source #
Instance details Defined in NITTA.Model.Networks.Bus data IOPorts (BusNetwork tag v x t) = BusNetworkIO { extInputs :: Set InputPortTag extOutputs :: Set OutputPortTag extInOuts :: Set InoutPortTag }

framWithSize :: (Default x, Default t) => Int -> Fram v x t Source #