Blarney.PulseReg

Description

An assignment to a PulseReg is visible only for one cycle, on the cycle after which the assignment is made.

Synopsis

Documentation

Emits a pulse on the cycle after the pulse method is called

Constructors

PulseReg
Fields pulse :: Action () Trigger pulse on next cycle val :: Bit 1 Is the register currently pulsing?

Instances details

Generic PulseReg #
Instance details Defined in Blarney.PulseReg Associated Types type Rep PulseReg :: Type -> Type # Methods from :: PulseReg -> Rep PulseReg x # to :: Rep PulseReg x -> PulseReg #
Interface PulseReg #
Instance details Defined in Blarney.PulseReg Methods toIfc :: PulseReg -> (IfcTerm, IfcType) Source # fromIfc :: IfcTerm -> PulseReg Source #
type Rep PulseReg #
Instance details Defined in Blarney.PulseReg type Rep PulseReg = D1 ('MetaData "PulseReg" "Blarney.PulseReg" "blarney-0.1.0.0-inplace" 'False) (C1 ('MetaCons "PulseReg" 'PrefixI 'True) (S1 ('MetaSel ('Just "pulse") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Action ())) :*: S1 ('MetaSel ('Just "val") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Bit 1))))