Takao Saito

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

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1986
A rule-based logic circuit synthesis system for CMOS gate arrays.
Proceedings of the 23rd ACM/IEEE Design Automation Conference. Las Vegas, 1986

1982
A verification technique for hardware designs.
Proceedings of the 19th Design Automation Conference, 1982

An interactive logic synthesis system based upon AI techniques.
Proceedings of the 19th Design Automation Conference, 1982

1981
A CAD system for logic design based on frames and demons.
Proceedings of the 18th Design Automation Conference, 1981

1979
Design and verification of large-scale computers by using DDL.
Proceedings of the 16th Design Automation Conference, 1979


  Loading...