Makoto Takashima

Learn More
A new LSI artwork analysis and processing system, called EMAP, is described with algorithms, a database schema and applications. EMAP provides the designer with the artwork verification and processing tools which include mask artwork processing, geometrical design rule checking, connectivity analysis and electrical circuit parameter calculation. The circuit(More)
This paper describes three programs which perform connectivity rule check, logic gate recognition for logic simulation and circuit connectivity comparison. These programs have been developed for verifying circuit connectivity extracted from mask artwork. Powerful algorithms are used in these programs, including a heuristic graph comparison algorithm, to(More)
This paper describes a circuit comparison system which compares two networks and points out inconsistencies. A new approach is used to handle functionally isomorphic circuits which most conventional programs can not handle. Three techniques are included: network reduction, graph isomorphism-based comparison and rule-based functional isomorphism checking for(More)
  • 1