Electrical-logic simulation and its applications.

Young Hwan Kim Seung Ho Hwang A. Richard Newton

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1989)

Keyphrases

logic programming
real time
modal logic
simulation models
database
simulation model
mathematical models
transmission line
physical characteristics
chip design
mathematical model
multi valued
computational properties
set theory