Description and verification of input constraints and input-output specifications of logic circuits.
Shinji KimuraShuzo YajimaPublished in: Systems and Computers in Japan (1987)
Keyphrases
- input output
- logic circuits
- internal states
- low power
- nonlinear functions
- noise cancellation
- fuzzy neural network
- state transition
- model checking
- data envelopment analysis
- functional decomposition
- logic synthesis
- fuzzy inference system
- fuzzy model
- output layer
- single phase
- neural network
- tunnel diode
- fuzzy controller
- power consumption
- image restoration
- low cost