Takeo Kakuda

Publication Activity (10 Years)

Years Active: 1990-1990
Publications (10 Years): 0

Publications

Masahiro Fujita, Yusuke Matsunaga, Takeo Kakuda
Automatic and Semi-Automatic Verification of Switch-Level Circuits with Temporal Logic and Binary Decision Diagrams. ICCAD (1990)
Yusuke Matsunaga, Masahiro Fujita, Takeo Kakuda
Multi-Level Logic Minimization Across Latch Boundaries. ICCAD (1990)