Nobuaki Kawato

发表

Constraint satisfaction and optimization using sufficient conditions for constraint violation (abstract)

Fumihiro Maruyama, Yoriko Minoda, Shuho Sawada, 1992 .

An Object-Oriented Database System Jasmine: Implementation, Application, and Extension

Hiroshi Ishikawa, Yasuo Yamane, Nobuaki Kawato, 1996, IEEE Trans. Knowl. Data Eng..

A Verification Technique for Hardware Designs

Fumihiro Maruyama, Nobuaki Kawato, Takao Uehara, 1982, DAC 1982.

Evaluation and improvement of Boolean comparison method based on binary decision diagrams

Masahiro Fujita, Nobuaki Kawato, Hisanori Fujisawa, 1988, [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.

A Rule-Based Logic Circuit Synthesis System for CMOS Gate Arrays

Nobuaki Kawato, Hiroyuki Sugimoto, Masami Yamazaki, 1986, DAC 1986.

A method to generate tests for combinational logic circuits using an ultrahigh-speed logic simulator

Fumiyasu Hirose, Nobuaki Kawato, Koichiro Takayama, 1988, International Test Conference 1988 Proceeding@m_New Frontiers in Testing.

Prolog-Based Expert System for Logic Design

Fumihiro Maruyama, Nobuaki Kawato, Takao Uehara, 1984, FGCS.

Logic simulation system using simulation processor (SP)

Kenji Iwata, Fumiyasu Hirose, Nobuaki Kawato, 1988, 25th ACM/IEEE, Design Automation Conference.Proceedings 1988..

A CAD System for Logic Design Based on Frames and Demons

Nobuaki Kawato, Takao Uehara, Takao Saito, 1981, 18th Design Automation Conference.

Logic design system with evaluation-redesign mechanism

Yusuke Matsunaga, Fumihiro Maruyama, Yoriko Minoda, 1990 .

Accuracy improvement of three-axis stabilization using an onboard computer

Keiken Ninomiya, Nobuaki Kawato, Shigebumi Saito, 1977 .

A Cooperative Logic Design Expert System on a Multiprocessor

Fumihiro Maruyama, Yoriko Minoda, Shuho Sawada, 1992, FGCS.

Knowledge-Based Expert System for Hardware Logic Design

Fumihiro Maruyama, Nobuaki Kawato, Takao Uehara, 1986, FJCC.

A Verification Technique for Hardware Designs

Fumihiro Maruyama, Nobuaki Kawato, Takao Uehara, 1982, 19th Design Automation Conference.

An Interactive Logic Synthesis System Based upon AI Techniques

Nobuaki Kawato, Sadaki Hirose, Takao Uehara, 1982, 19th Design Automation Conference.

A test generation system using a logic simulation engine

Fumiyasu Hirose, Nobuaki Kawato, Koichiro Takayama, 1991 .

A Rule-Based Logic Circuit Synthesis System for CMOS Gate Arrays

Nobuaki Kawato, Hiroyuki Sugimoto, Masami Yamazaki, 1986, 23rd ACM/IEEE Design Automation Conference.

A high-speed test-generation method using a test generation circuit

Fumiyasu Hirose, Nobuaki Kawato, Koichiro Takayama, 1990, Systems and Computers in Japan.

Design and Verification of Large-Scale Computers by Using DDL

Fumihiro Maruyama, Nobuaki Kawato, Takao Uehara, 1979, 16th Design Automation Conference.

An Interactive Logic Synthesis System Based upon AI Techniques

Nobuaki Kawato, Sadaki Hirose, Takao Uehara, 1982, DAC 1982.

An Object-Oriented Database System and its View Mechanism for Schema Integration

Hiroshi Ishikawa, Tatsuya Hayashi, Nobuaki Kawato, 1992, Future Databases.

co-LODEX: A Cooperative Expert System for Logic design

Yusuke Matsunaga, Fumihiro Maruyama, Yoriko Minoda, 1988, FGCS.

Logic circuit synthesis using Prolog

Nobuaki Kawato, Takao Uehara, 2009, New Generation Computing.