Stability	experimental
Maintainer	Emil Axelsson <emax@chalmers.se>
Safe Haskell	None

Libs.Nangate45.Wired

Contents

Library type
Cells

Description

Wired 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

Library type

data Nangate45 Source

Instances

Eq Nangate45
Show Nangate45
CellLibrary Nangate45
WiredLibrary Nangate45
WireTimingLibrary Nangate45
TimingLibrary Nangate45

Cells

and2_x1 :: (Signal, Signal) -> Wired Nangate45 Signal Source

Interface:

    (A1, A2) -> ZN

Function:

    ZN = and [A1, A2]

and2_x2 :: (Signal, Signal) -> Wired Nangate45 Signal Source

Interface:

    (A1, A2) -> ZN

Function:

    ZN = and [A1, A2]

and2_x4 :: (Signal, Signal) -> Wired Nangate45 Signal Source

Interface:

    (A1, A2) -> ZN

Function:

    ZN = and [A1, A2]

buf_x1 :: Signal -> Wired Nangate45 Signal Source

Interface:

    A -> Z

Function:

    Z = A

buf_x16 :: Signal -> Wired Nangate45 Signal Source

Interface:

    A -> Z

Function:

    Z = A

buf_x2 :: Signal -> Wired Nangate45 Signal Source

Interface:

    A -> Z

Function:

    Z = A

buf_x32 :: Signal -> Wired Nangate45 Signal Source

Interface:

    A -> Z

Function:

    Z = A

buf_x4 :: Signal -> Wired Nangate45 Signal Source

Interface:

    A -> Z

Function:

    Z = A

buf_x8 :: Signal -> Wired Nangate45 Signal Source

Interface:

    A -> Z

Function:

    Z = A

fa_x1 :: (Signal, (Signal, Signal)) -> Wired Nangate45 (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 :: a -> Wired Nangate45 aSource

fillcell_x16 :: a -> Wired Nangate45 aSource

fillcell_x2 :: a -> Wired Nangate45 aSource

fillcell_x32 :: a -> Wired Nangate45 aSource

fillcell_x4 :: a -> Wired Nangate45 aSource

fillcell_x8 :: a -> Wired Nangate45 aSource

ha_x1 :: (Signal, Signal) -> Wired Nangate45 (Signal, Signal)Source

Interface:

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

Function:

    S = or [and [A, B'], and [A', B]]
    CO = and [A, B]

inv_x1 :: Signal -> Wired Nangate45 Signal Source

Interface:

    A -> ZN

Function:

    ZN = A'

inv_x16 :: Signal -> Wired Nangate45 Signal Source

Interface:

    A -> ZN

Function:

    ZN = A'

inv_x2 :: Signal -> Wired Nangate45 Signal Source

Interface:

    A -> ZN

Function:

    ZN = A'

inv_x32 :: Signal -> Wired Nangate45 Signal Source

Interface:

    A -> ZN

Function:

    ZN = A'

inv_x4 :: Signal -> Wired Nangate45 Signal Source

Interface:

    A -> ZN

Function:

    ZN = A'

inv_x8 :: Signal -> Wired Nangate45 Signal Source

Interface:

    A -> ZN

Function:

    ZN = A'

logic0_x1 :: Wired Nangate45 Signal Source

Interface:

Function:

    Z = 0

logic1_x1 :: Wired Nangate45 Signal Source

Interface:

Function:

    Z = 1

nand2_x1 :: (Signal, Signal) -> Wired Nangate45 Signal Source

Interface:

    (A1, A2) -> ZN

Function:

    ZN = (and [A1, A2])'

nand2_x2 :: (Signal, Signal) -> Wired Nangate45 Signal Source

Interface:

    (A1, A2) -> ZN

Function:

    ZN = (and [A1, A2])'

nand2_x4 :: (Signal, Signal) -> Wired Nangate45 Signal Source

Interface:

    (A1, A2) -> ZN

Function:

    ZN = (and [A1, A2])'

nor2_x1 :: (Signal, Signal) -> Wired Nangate45 Signal Source

Interface:

    (A1, A2) -> ZN

Function:

    ZN = (or [A1, A2])'

nor2_x2 :: (Signal, Signal) -> Wired Nangate45 Signal Source

Interface:

    (A1, A2) -> ZN

Function:

    ZN = (or [A1, A2])'

nor2_x4 :: (Signal, Signal) -> Wired Nangate45 Signal Source

Interface:

    (A1, A2) -> ZN

Function:

    ZN = (or [A1, A2])'

or2_x1 :: (Signal, Signal) -> Wired Nangate45 Signal Source

Interface:

    (A1, A2) -> ZN

Function:

    ZN = or [A1, A2]

or2_x2 :: (Signal, Signal) -> Wired Nangate45 Signal Source

Interface:

    (A1, A2) -> ZN

Function:

    ZN = or [A1, A2]

or2_x4 :: (Signal, Signal) -> Wired Nangate45 Signal Source

Interface:

    (A1, A2) -> ZN

Function:

    ZN = or [A1, A2]

xnor2_x1 :: (Signal, Signal) -> Wired Nangate45 Signal Source

Interface:

    (A, B) -> ZN

Function:

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

xnor2_x2 :: (Signal, Signal) -> Wired Nangate45 Signal Source

Interface:

    (A, B) -> ZN

Function:

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

xor2_x1 :: (Signal, Signal) -> Wired Nangate45 Signal Source

Interface:

    (A, B) -> Z

Function:

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

xor2_x2 :: (Signal, Signal) -> Wired Nangate45 Signal Source

Interface:

    (A, B) -> Z

Function:

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