Takeo Kakuda

According to our database, Takeo Kakuda authored at least 2 papers in 1990.

Collaborative distances:

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

1990

Multi-Level Logic Minimization Across Latch Boundaries.

Yusuke Matsunaga, Masahiro Fujita, Takeo Kakuda

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 1990

Automatic and Semi-Automatic Verification of Switch-Level Circuits with Temporal Logic and Binary Decision Diagrams.

Masahiro Fujita, Yusuke Matsunaga, Takeo Kakuda

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 1990