Testing CMOS Logic Gates for Realistic Shorts.

Brian Chess Anthony Freitas F. Joel Ferguson Tracy Larrabee

Published in: ITC (1994)

Keyphrases

logic circuits
low power
delay insensitive
high speed
low cost
random access memory
real life
multi valued
power consumption
modal logic
circuit design
chip design
software testing
test cases
sound and complete axiomatization
analog vlsi
real world
asynchronous circuits
formal verification
logic programming
case study