Login / Signup
PANAMAP-B: A mask verification system for bipolar IC.
J. Yoshida
T. Ozaki
Y. Goto
Published in:
DAC (1981)
Keyphrases
</>
model checking
integrated circuit
positive and negative
high density
concurrent systems
data sets
signature verification
verification method
formal analysis
database
neural network
social networks
information systems
knowledge base
digital libraries
mobile robot