Wired-0.2: Wire-aware hardware descriptionSource codeContentsIndex
Libs.Nangate45.Lava
Stabilityexperimental
MaintainerEmil Axelsson <emax@chalmers.se>
Contents
Library type
Cells
Description

Lava interface to the Nangate45 library.

The data in this file is derived from Nangate's Open Cell Library, and is subject to the license restrictions stated in Libs.Nangate45.LICENSE.

Synopsis
data Nangate45
and2_x1 :: MonadLava Nangate45 m => (Signal, Signal) -> m Signal
and2_x2 :: MonadLava Nangate45 m => (Signal, Signal) -> m Signal
and2_x4 :: MonadLava Nangate45 m => (Signal, Signal) -> m Signal
buf_x1 :: MonadLava Nangate45 m => Signal -> m Signal
buf_x16 :: MonadLava Nangate45 m => Signal -> m Signal
buf_x2 :: MonadLava Nangate45 m => Signal -> m Signal
buf_x32 :: MonadLava Nangate45 m => Signal -> m Signal
buf_x4 :: MonadLava Nangate45 m => Signal -> m Signal
buf_x8 :: MonadLava Nangate45 m => Signal -> m Signal
fa_x1 :: MonadLava Nangate45 m => (Signal, (Signal, Signal)) -> m (Signal, Signal)
fillcell_x1 :: MonadLava Nangate45 m => a -> m a
fillcell_x16 :: MonadLava Nangate45 m => a -> m a
fillcell_x2 :: MonadLava Nangate45 m => a -> m a
fillcell_x32 :: MonadLava Nangate45 m => a -> m a
fillcell_x4 :: MonadLava Nangate45 m => a -> m a
fillcell_x8 :: MonadLava Nangate45 m => a -> m a
ha_x1 :: MonadLava Nangate45 m => (Signal, Signal) -> m (Signal, Signal)
inv_x1 :: MonadLava Nangate45 m => Signal -> m Signal
inv_x16 :: MonadLava Nangate45 m => Signal -> m Signal
inv_x2 :: MonadLava Nangate45 m => Signal -> m Signal
inv_x32 :: MonadLava Nangate45 m => Signal -> m Signal
inv_x4 :: MonadLava Nangate45 m => Signal -> m Signal
inv_x8 :: MonadLava Nangate45 m => Signal -> m Signal
logic0_x1 :: MonadLava Nangate45 m => m Signal
logic1_x1 :: MonadLava Nangate45 m => m Signal
nand2_x1 :: MonadLava Nangate45 m => (Signal, Signal) -> m Signal
nand2_x2 :: MonadLava Nangate45 m => (Signal, Signal) -> m Signal
nand2_x4 :: MonadLava Nangate45 m => (Signal, Signal) -> m Signal
nor2_x1 :: MonadLava Nangate45 m => (Signal, Signal) -> m Signal
nor2_x2 :: MonadLava Nangate45 m => (Signal, Signal) -> m Signal
nor2_x4 :: MonadLava Nangate45 m => (Signal, Signal) -> m Signal
or2_x1 :: MonadLava Nangate45 m => (Signal, Signal) -> m Signal
or2_x2 :: MonadLava Nangate45 m => (Signal, Signal) -> m Signal
or2_x4 :: MonadLava Nangate45 m => (Signal, Signal) -> m Signal
xnor2_x1 :: MonadLava Nangate45 m => (Signal, Signal) -> m Signal
xnor2_x2 :: MonadLava Nangate45 m => (Signal, Signal) -> m Signal
xor2_x1 :: MonadLava Nangate45 m => (Signal, Signal) -> m Signal
xor2_x2 :: MonadLava Nangate45 m => (Signal, Signal) -> m Signal
Library type
data Nangate45 Source
show/hide Instances
Cells
and2_x1 :: MonadLava Nangate45 m => (Signal, Signal) -> m SignalSource

Interface:

    (A1, A2) -> ZN

Function:

    ZN = and [A1, A2]
and2_x2 :: MonadLava Nangate45 m => (Signal, Signal) -> m SignalSource

Interface:

    (A1, A2) -> ZN

Function:

    ZN = and [A1, A2]
and2_x4 :: MonadLava Nangate45 m => (Signal, Signal) -> m SignalSource

Interface:

    (A1, A2) -> ZN

Function:

    ZN = and [A1, A2]
buf_x1 :: MonadLava Nangate45 m => Signal -> m SignalSource

Interface:

    A -> Z

Function:

    Z = A
buf_x16 :: MonadLava Nangate45 m => Signal -> m SignalSource

Interface:

    A -> Z

Function:

    Z = A
buf_x2 :: MonadLava Nangate45 m => Signal -> m SignalSource

Interface:

    A -> Z

Function:

    Z = A
buf_x32 :: MonadLava Nangate45 m => Signal -> m SignalSource

Interface:

    A -> Z

Function:

    Z = A
buf_x4 :: MonadLava Nangate45 m => Signal -> m SignalSource

Interface:

    A -> Z

Function:

    Z = A
buf_x8 :: MonadLava Nangate45 m => Signal -> m SignalSource

Interface:

    A -> Z

Function:

    Z = A
fa_x1 :: MonadLava Nangate45 m => (Signal, (Signal, Signal)) -> m (Signal, Signal)Source

Interface:

    (CI, (A, B)) -> (S, CO)

Function:

    S = or [and [or [and [A, B'], and [A', B]], CI'], and [(or [and [A, B'], and [A', B]])', CI]]
    CO = or [and [A, B], and [A, CI], and [B, CI]]
fillcell_x1 :: MonadLava Nangate45 m => a -> m aSource
fillcell_x16 :: MonadLava Nangate45 m => a -> m aSource
fillcell_x2 :: MonadLava Nangate45 m => a -> m aSource
fillcell_x32 :: MonadLava Nangate45 m => a -> m aSource
fillcell_x4 :: MonadLava Nangate45 m => a -> m aSource
fillcell_x8 :: MonadLava Nangate45 m => a -> m aSource
ha_x1 :: MonadLava Nangate45 m => (Signal, Signal) -> m (Signal, Signal)Source

Interface:

    (A, B) -> (S, CO)

Function:

    S = or [and [A, B'], and [A', B]]
    CO = and [A, B]
inv_x1 :: MonadLava Nangate45 m => Signal -> m SignalSource

Interface:

    A -> ZN

Function:

    ZN = A'
inv_x16 :: MonadLava Nangate45 m => Signal -> m SignalSource

Interface:

    A -> ZN

Function:

    ZN = A'
inv_x2 :: MonadLava Nangate45 m => Signal -> m SignalSource

Interface:

    A -> ZN

Function:

    ZN = A'
inv_x32 :: MonadLava Nangate45 m => Signal -> m SignalSource

Interface:

    A -> ZN

Function:

    ZN = A'
inv_x4 :: MonadLava Nangate45 m => Signal -> m SignalSource

Interface:

    A -> ZN

Function:

    ZN = A'
inv_x8 :: MonadLava Nangate45 m => Signal -> m SignalSource

Interface:

    A -> ZN

Function:

    ZN = A'
logic0_x1 :: MonadLava Nangate45 m => m SignalSource

Interface:

    Z

Function:

    Z = 0
logic1_x1 :: MonadLava Nangate45 m => m SignalSource

Interface:

    Z

Function:

    Z = 1
nand2_x1 :: MonadLava Nangate45 m => (Signal, Signal) -> m SignalSource

Interface:

    (A1, A2) -> ZN

Function:

    ZN = (and [A1, A2])'
nand2_x2 :: MonadLava Nangate45 m => (Signal, Signal) -> m SignalSource

Interface:

    (A1, A2) -> ZN

Function:

    ZN = (and [A1, A2])'
nand2_x4 :: MonadLava Nangate45 m => (Signal, Signal) -> m SignalSource

Interface:

    (A1, A2) -> ZN

Function:

    ZN = (and [A1, A2])'
nor2_x1 :: MonadLava Nangate45 m => (Signal, Signal) -> m SignalSource

Interface:

    (A1, A2) -> ZN

Function:

    ZN = (or [A1, A2])'
nor2_x2 :: MonadLava Nangate45 m => (Signal, Signal) -> m SignalSource

Interface:

    (A1, A2) -> ZN

Function:

    ZN = (or [A1, A2])'
nor2_x4 :: MonadLava Nangate45 m => (Signal, Signal) -> m SignalSource

Interface:

    (A1, A2) -> ZN

Function:

    ZN = (or [A1, A2])'
or2_x1 :: MonadLava Nangate45 m => (Signal, Signal) -> m SignalSource

Interface:

    (A1, A2) -> ZN

Function:

    ZN = or [A1, A2]
or2_x2 :: MonadLava Nangate45 m => (Signal, Signal) -> m SignalSource

Interface:

    (A1, A2) -> ZN

Function:

    ZN = or [A1, A2]
or2_x4 :: MonadLava Nangate45 m => (Signal, Signal) -> m SignalSource

Interface:

    (A1, A2) -> ZN

Function:

    ZN = or [A1, A2]
xnor2_x1 :: MonadLava Nangate45 m => (Signal, Signal) -> m SignalSource

Interface:

    (A, B) -> ZN

Function:

    ZN = (or [and [A, B'], and [A', B]])'
xnor2_x2 :: MonadLava Nangate45 m => (Signal, Signal) -> m SignalSource

Interface:

    (A, B) -> ZN

Function:

    ZN = (or [and [A, B'], and [A', B]])'
xor2_x1 :: MonadLava Nangate45 m => (Signal, Signal) -> m SignalSource

Interface:

    (A, B) -> Z

Function:

    Z = or [and [A, B'], and [A', B]]
xor2_x2 :: MonadLava Nangate45 m => (Signal, Signal) -> m SignalSource

Interface:

    (A, B) -> Z

Function:

    Z = or [and [A, B'], and [A', B]]
Produced by Haddock version 2.4.2