|
Libs.Nangate45.Lava | Stability | experimental | Maintainer | Emil Axelsson <emax@chalmers.se> |
|
|
|
|
|
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
|
|
|
Instances | |
|
|
Cells
|
|
|
Interface:
(A1, A2) -> ZN
Function:
ZN = and [A1, A2]
|
|
|
Interface:
(A1, A2) -> ZN
Function:
ZN = and [A1, A2]
|
|
|
Interface:
(A1, A2) -> ZN
Function:
ZN = and [A1, A2]
|
|
|
Interface:
A -> Z
Function:
Z = A
|
|
|
Interface:
A -> Z
Function:
Z = A
|
|
|
Interface:
A -> Z
Function:
Z = A
|
|
|
Interface:
A -> Z
Function:
Z = A
|
|
|
Interface:
A -> Z
Function:
Z = A
|
|
|
Interface:
A -> Z
Function:
Z = A
|
|
|
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]]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Interface:
(A, B) -> (S, CO)
Function:
S = or [and [A, B'], and [A', B]]
CO = and [A, B]
|
|
|
Interface:
A -> ZN
Function:
ZN = A'
|
|
|
Interface:
A -> ZN
Function:
ZN = A'
|
|
|
Interface:
A -> ZN
Function:
ZN = A'
|
|
|
Interface:
A -> ZN
Function:
ZN = A'
|
|
|
Interface:
A -> ZN
Function:
ZN = A'
|
|
|
Interface:
A -> ZN
Function:
ZN = A'
|
|
|
Interface:
Z
Function:
Z = 0
|
|
|
Interface:
Z
Function:
Z = 1
|
|
|
Interface:
(A1, A2) -> ZN
Function:
ZN = (and [A1, A2])'
|
|
|
Interface:
(A1, A2) -> ZN
Function:
ZN = (and [A1, A2])'
|
|
|
Interface:
(A1, A2) -> ZN
Function:
ZN = (and [A1, A2])'
|
|
|
Interface:
(A1, A2) -> ZN
Function:
ZN = (or [A1, A2])'
|
|
|
Interface:
(A1, A2) -> ZN
Function:
ZN = (or [A1, A2])'
|
|
|
Interface:
(A1, A2) -> ZN
Function:
ZN = (or [A1, A2])'
|
|
|
Interface:
(A1, A2) -> ZN
Function:
ZN = or [A1, A2]
|
|
|
Interface:
(A1, A2) -> ZN
Function:
ZN = or [A1, A2]
|
|
|
Interface:
(A1, A2) -> ZN
Function:
ZN = or [A1, A2]
|
|
|
Interface:
(A, B) -> ZN
Function:
ZN = (or [and [A, B'], and [A', B]])'
|
|
|
Interface:
(A, B) -> ZN
Function:
ZN = (or [and [A, B'], and [A', B]])'
|
|
|
Interface:
(A, B) -> Z
Function:
Z = or [and [A, B'], and [A', B]]
|
|
|
Interface:
(A, B) -> Z
Function:
Z = or [and [A, B'], and [A', B]]
|
|
Produced by Haddock version 2.4.2 |