Current-mode digital gates and circuits: concept, design and verification.
Oleg MaslennikowPiotr PawlowskiPrzemyslaw SoltanRobert BerezowskiPublished in: ICECS (2002)
Keyphrases
- circuit design
- logic circuits
- building blocks
- model checking
- functional verification
- formal verification
- real time
- computer aided
- software architecture
- high level synthesis
- design decisions
- engineering design
- design process
- knowledge based systems
- software engineering
- case study
- artificial intelligence
- neural network