Travelled to:1 × France
4 × USA
Collaborated with:R.K.Brayton P.Sawkar E.I.Goldberg H.Nakamura M.Fujita H.Tanaka G.D.Hachtel A.L.Sangiovanni-Vincentelli F.Somenzi A.Aziz S.Cheng S.A.Edwards S.P.Khatri A.Pardo S.Qadeer R.K.Ranjan S.Sarwary T.R.Shiple G.Swamy T.Villa
Talks about:function (2) analysi (2) verif (2) level (2) time (2) path (2) technolog (1) transfer (1) synthesi (1) hierarch (1)
Person: Yuji Kukimoto
DBLP: Kukimoto:Yuji
Contributed to:
1998
19981997
19961990Wrote 6 papers:
- DAC-1998-KukimotoB #analysis #functional
- Hierarchical Functional Timing Analysis (YK, RKB), pp. 580–585.
- DAC-1998-KukimotoBS #graph
- Delay-Optimal Technology Mapping by DAG Covering (YK, RKB, PS), pp. 348–351.
- DATE-1998-GoldbergKB #functional #specification #verification
- Combinational Verification based on High-Level Functional Specifications (EIG, YK, RKB), pp. 803–808.
- DAC-1997-KukimotoB #analysis #detection
- Exact Required Time Analysis via False Path Detection (YK, RKB), pp. 220–225.
- CAV-1996-BraytonHSSACEKKPQRSSSV #named #synthesis #verification
- VIS: A System for Verification and Synthesis (RKB, GDH, ALSV, FS, AA, STC, SAE, SPK, YK, AP, SQ, RKR, SS, TRS, GS, TV), pp. 428–432.
- CAV-1990-NakamuraKFT #logic #using #verification
- A Data Path Verifier for Register Transfer Level Using Temporal Logic Language Tokio (HN, YK, MF, HT), pp. 76–85.