Keyphrases
- chip design
- micron cmos
- low cost
- high speed
- random access memory
- analog vlsi
- predicate logic
- high density
- wireless lan
- digital circuits
- modal logic
- digital signature
- single chip
- multi valued
- automated reasoning
- data acquisition
- floating point arithmetic
- built in self test
- logic programming
- classical logic
- signature verification
- deontic logic
- evolvable hardware
- signature scheme
- signature recognition
- power consumption