Yuji Kukimoto
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
7
Active years
1990–2002
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2002 | ICCAD | Refining switching window by time slots for crosstalk noise calculation. | Pinhong Chen, Yuji Kukimoto, Kurt Keutzer |
| 1999 | ICCAD | Timing-safe false path removal for combinational modules. | Yuji Kukimoto, Robert K. Brayton |
| 1998 | DAC | Hierarchical Functional Timing Analysis. | Yuji Kukimoto, Robert K. Brayton |
| 1998 | DAC | Delay-Optimal Technology Mapping by DAG Covering. | Yuji Kukimoto, Robert K. Brayton, Prashant Sawkar |
| 1998 | DATE | Combinational Verification based on High-Level Functional Specifications. | Evguenii I. Goldberg, Yuji Kukimoto, Robert K. Brayton |
| 1997 | DAC | Exact Required Time Analysis via False Path Detection. | Yuji Kukimoto, Robert K. Brayton |
| 1997 | ICCAD | Approximate timing analysis of combinational circuits under the XBD0 model. | Yuji Kukimoto, Wilsin Gosti, Alexander Saldanha, Robert K. Brayton |
| 1996 | CAV | VIS: A System for Verification and Synthesis. | Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa |
| 1996 | FMCAD | VIS. | Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa |
| 1994 | ICCAD | A redesign technique for combinational circuits based on gate reconnections. | Yuji Kukimoto, Masahiro Fujita, Robert K. Brayton |
| 1992 | FPGA | Patching Method for Lookup-Table Type FPLs. | Masahiro Fujita, Yuji Kukimoto |
| 1992 | ICCAD | Rectification method for lookup-table type FPGA's. | Yuji Kukimoto, Masahiro Fujita |
| 1991 | ICCAD | Application of Boolean Unification to Combinational Logic Synthesis. | Masahiro Fujita, Yutaka Tamiya, Yuji Kukimoto, Kuang-Chien Chen |
| 1990 | CAV | A Data Path Verifier for Register Transfer Level Using Temporal Logic Language Tokio. | Hiroshi Nakamura, Yuji Kukimoto, Masahiro Fujita, Hidehiko Tanaka |
| 1990 | ICCD | Practical design assistance at register transfer level using a data path verifier. | Hiroshi Nakamura, Yuji Kukimoto, Masahiro Fujita, Hidehiko Tanaka |