Takao Saito

According to our database, Takao Saito authored at least 5 papers between 1979 and 1986.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of four.

1986

A rule-based logic circuit synthesis system for CMOS gate arrays.

Takao Saito, Hiroyuki Sugimoto, Masami Yamazaki, Nobuaki Kawato

Proceedings of the 23rd ACM/IEEE Design Automation Conference. Las Vegas, 1986

1982

A verification technique for hardware designs.

Fumihiro Maruyama, Takao Uehara, Nobuaki Kawato, Takao Saito

Proceedings of the 19th Design Automation Conference, 1982

An interactive logic synthesis system based upon AI techniques.

Nobuaki Kawato, Takao Uehara, Sadaki Hirose, Takao Saito

Proceedings of the 19th Design Automation Conference, 1982

1981

A CAD system for logic design based on frames and demons.

Takao Saito, Takao Uehara, Nobuaki Kawato

Proceedings of the 18th Design Automation Conference, 1981

1979

Design and verification of large-scale computers by using DDL.

Nobuaki Kawato, Takao Saito, Fumihiro Maruyama, Takao Uehara

Proceedings of the 16th Design Automation Conference, 1979