Takao Saito

Publication Activity (10 Years)

Years Active: 1979-1986
Publications (10 Years): 0

Publications

Takao Saito, Hiroyuki Sugimoto, Masami Yamazaki, Nobuaki Kawato
A rule-based logic circuit synthesis system for CMOS gate arrays. DAC (1986)
Nobuaki Kawato, Takao Uehara, Sadaki Hirose, Takao Saito
An interactive logic synthesis system based upon AI techniques. DAC (1982)
Fumihiro Maruyama, Takao Uehara, Nobuaki Kawato, Takao Saito
A verification technique for hardware designs. DAC (1982)
Takao Saito, Takao Uehara, Nobuaki Kawato
A CAD system for logic design based on frames and demons. DAC (1981)
Nobuaki Kawato, Takao Saito, Fumihiro Maruyama, Takao Uehara
Design and verification of large-scale computers by using DDL. DAC (1979)