Design and verification of large-scale computers by using DDL. - Nobuaki Kawato; Takao Saito; Fumihiro Maruyama; Takao Uehara (DAC, 1979)

A CAD system for logic design based on frames and demons. - Takao Saito; Takao Uehara; Nobuaki Kawato (DAC, 1981)

An interactive logic synthesis system based upon AI techniques. - Nobuaki Kawato; Takao Uehara; Sadaki Hirose; Takao Saito (DAC, 1982)

A verification technique for hardware designs. - Fumihiro Maruyama; Takao Uehara; Nobuaki Kawato; Takao Saito (DAC, 1982)

Logic Circuit Synthesis Using Prolog. - Takao Uehara; Nobuaki Kawato (New Gener. Comput., 1983)

Prolog-Based Expert System for Logic Design. - Fumihiro Maruyama; Tamio Mano; Kazushi Hayashi; Taeko Kakuda; Nobuaki Kawato; Takao Uehara (FGCS, 1984)

A rule-based logic circuit synthesis system for CMOS gate arrays. - Takao Saito; Hiroyuki Sugimoto; Masami Yamazaki; Nobuaki Kawato (DAC, 1986)

Knowledge-Based Expert System for Hardware Logic Design. - Tamio Mano; Fumihiro Maruyama; Kazushi Hayashi; Taeko Kakuda; Nobuaki Kawato; Takao Uehara (FJCC, 1986)

Logic Simulation System Using Simulation Processor (SP). - Minoru Saitoh; Kenji Iwata; Akiko Nokamura; Makoto Kakegawa; Junichi Masuda; Hirofumi Hamamura; Fumiyasu Hirose; Nobuaki Kawato (DAC, 1988)

co-LODEX: A Cooperative Expert System for Logic design. - Fumihiro Maruyama; Taeko Kakuda; Yusuke Matsunaga; Yoriko Minoda; Shuho Sawada; Nobuaki Kawato (FGCS, 1988)

Evaluation and improvement of Boolean comparison method based on binary decision diagrams. - Masahiro Fujita; Hisanori Fujisawa; Nobuaki Kawato (ICCAD, 1988)

A Method to Generate Tests for Combinational Logic Circuits Using an Ultra-High-Speed Logic Simulator. - Fumiyasu Hirose; Koichiro Takayama; Nobuaki Kawato (ITC, 1988)

A high-speed test-generation method using a test generation circuit. - Fumiyasu Hirose; Koichiro Takayama; Nobuaki Kawato (Syst. Comput. Jpn., 1990)

A Cooperative Logic Design Expert System on a Multiprocessor. - Yoriko Minoda; Shuho Sawada; Yuka Takizawa; Fumihiro Maruyama; Nobuaki Kawato (FGCS, 1992)

An Object-Oriented Database System and its View Mechanism for Schema Integration. - Hiroshi Ishikawa 004; Yoshio Izumida; Nobuaki Kawato; Tatsuya Hayashi (Future Databases, 1992)

An Object-Oriented Database System Jasmine: Implementation, Application, and Extension. - Hiroshi Ishikawa 004; Yasuo Yamane; Yoshio Izumida; Nobuaki Kawato (IEEE Trans. Knowl. Data Eng., 1996)