Libs.Nangate45.Lava

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.

Library type

data Nangate45

Instances

Eq Nangate45

Show Nangate45

CellLibrary Nangate45

WiredLibrary Nangate45

WireTimingLibrary Nangate45

TimingLibrary Nangate45

Cells

and2_x1 :: MonadLava Nangate45 m => (Signal, Signal) -> m Signal

Interface:

    (A1, A2) -> ZN

Function:

    ZN = and [A1, A2]

and2_x2 :: MonadLava Nangate45 m => (Signal, Signal) -> m Signal

Interface:

    (A1, A2) -> ZN

Function:

    ZN = and [A1, A2]

and2_x4 :: MonadLava Nangate45 m => (Signal, Signal) -> m Signal

Interface:

    (A1, A2) -> ZN

Function:

    ZN = and [A1, A2]

buf_x1 :: MonadLava Nangate45 m => Signal -> m Signal

Interface:

    A -> Z

Function:

    Z = A

buf_x16 :: MonadLava Nangate45 m => Signal -> m Signal

Interface:

    A -> Z

Function:

    Z = A

buf_x2 :: MonadLava Nangate45 m => Signal -> m Signal

Interface:

    A -> Z

Function:

    Z = A

buf_x32 :: MonadLava Nangate45 m => Signal -> m Signal

Interface:

    A -> Z

Function:

    Z = A

buf_x4 :: MonadLava Nangate45 m => Signal -> m Signal

Interface:

    A -> Z

Function:

    Z = A

buf_x8 :: MonadLava Nangate45 m => Signal -> m Signal

Interface:

    A -> Z

Function:

    Z = A

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

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 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)

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 Signal

Interface:

    A -> ZN

Function:

    ZN = A'

inv_x16 :: MonadLava Nangate45 m => Signal -> m Signal

Interface:

    A -> ZN

Function:

    ZN = A'

inv_x2 :: MonadLava Nangate45 m => Signal -> m Signal

Interface:

    A -> ZN

Function:

    ZN = A'

inv_x32 :: MonadLava Nangate45 m => Signal -> m Signal

Interface:

    A -> ZN

Function:

    ZN = A'

inv_x4 :: MonadLava Nangate45 m => Signal -> m Signal

Interface:

    A -> ZN

Function:

    ZN = A'

inv_x8 :: MonadLava Nangate45 m => Signal -> m Signal

Interface:

    A -> ZN

Function:

    ZN = A'

logic0_x1 :: MonadLava Nangate45 m => m Signal

Interface:

    Z

Function:

    Z = 0

logic1_x1 :: MonadLava Nangate45 m => m Signal

Interface:

    Z

Function:

    Z = 1

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

Interface:

    (A1, A2) -> ZN

Function:

    ZN = (and [A1, A2])'

nand2_x2 :: MonadLava Nangate45 m => (Signal, Signal) -> m Signal

Interface:

    (A1, A2) -> ZN

Function:

    ZN = (and [A1, A2])'

nand2_x4 :: MonadLava Nangate45 m => (Signal, Signal) -> m Signal

Interface:

    (A1, A2) -> ZN

Function:

    ZN = (and [A1, A2])'

nor2_x1 :: MonadLava Nangate45 m => (Signal, Signal) -> m Signal

Interface:

    (A1, A2) -> ZN

Function:

    ZN = (or [A1, A2])'

nor2_x2 :: MonadLava Nangate45 m => (Signal, Signal) -> m Signal

Interface:

    (A1, A2) -> ZN

Function:

    ZN = (or [A1, A2])'

nor2_x4 :: MonadLava Nangate45 m => (Signal, Signal) -> m Signal

Interface:

    (A1, A2) -> ZN

Function:

    ZN = (or [A1, A2])'

or2_x1 :: MonadLava Nangate45 m => (Signal, Signal) -> m Signal

Interface:

    (A1, A2) -> ZN

Function:

    ZN = or [A1, A2]

or2_x2 :: MonadLava Nangate45 m => (Signal, Signal) -> m Signal

Interface:

    (A1, A2) -> ZN

Function:

    ZN = or [A1, A2]

or2_x4 :: MonadLava Nangate45 m => (Signal, Signal) -> m Signal

Interface:

    (A1, A2) -> ZN

Function:

    ZN = or [A1, A2]

xnor2_x1 :: MonadLava Nangate45 m => (Signal, Signal) -> m Signal

Interface:

    (A, B) -> ZN

Function:

    ZN = (or [and [A, B'], and [A', B]])'

xnor2_x2 :: MonadLava Nangate45 m => (Signal, Signal) -> m Signal

Interface:

    (A, B) -> ZN

Function:

    ZN = (or [and [A, B'], and [A', B]])'

xor2_x1 :: MonadLava Nangate45 m => (Signal, Signal) -> m Signal

Interface:

    (A, B) -> Z

Function:

    Z = or [and [A, B'], and [A', B]]

xor2_x2 :: MonadLava Nangate45 m => (Signal, Signal) -> m Signal

Interface:

    (A, B) -> Z

Function:

    Z = or [and [A, B'], and [A', B]]