Akira Mukaiyama

Publication Activity (10 Years)

Years Active: 1998-2007
Publications (10 Years): 0

Publications

Malay K. Ganai, Akira Mukaiyama, Aarti Gupta, Kazutoshi Wakabayashi
Synthesizing "Verification Aware" Models: Why and How? VLSI Design (2007)
Aarti Gupta, Albert E. Casavant, Pranav Ashar, X. G. Liu, Akira Mukaiyama, Kazutoshi Wakabayashi
Property-Specific Testbench Generation for Guided Simulation. VLSI Design (2002)
Albert E. Casavant, Aarti Gupta, S. Liu, Akira Mukaiyama, Kazutoshi Wakabayashi, Pranav Ashar
Property-specific witness graph generation for guided simulation. DATE (2001)
Pranav Ashar, Subhrajit Bhattacharya, Anand Raghunathan, Akira Mukaiyama
Verification of RTL generated from scheduled behavior in a high-level synthesis flow. ICCAD (1998)