Programs for verifying circuit connectivity of mos/lsi mask artwork.
Makoto TakashimaTakashi MitsuhashiToshiaki ChibaKenji YoshidaPublished in: DAC (1982)
Keyphrases
- latent semantic indexing
- high speed
- flip flops
- circuit design
- cultural heritage
- text retrieval
- model checking
- programming environment
- vector space
- connected components
- neural network
- analog circuits
- electronic circuits
- real time
- evolutionary algorithm
- expert systems
- computer programs
- automatic programming
- logic circuits
- delay insensitive