Akira Mukaiyama
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1998–2007
Best venue rank
National
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | VLSID | Synthesizing "Verification Aware" Models: Why and How? | Malay K. Ganai, Akira Mukaiyama, Aarti Gupta, Kazutoshi Wakabayashi |
| 2002 | VLSID | Property-Specific Testbench Generation for Guided Simulation. | Aarti Gupta, Albert E. Casavant, Pranav Ashar, Sean Liu, Akira Mukaiyama, Kazutoshi Wakabayashi |
| 2001 | DATE | Property-specific witness graph generation for guided simulation. | Albert E. Casavant, Aarti Gupta, S. Liu, Akira Mukaiyama, Kazutoshi Wakabayashi, Pranav Ashar |
| 1998 | ICCAD | Verification of RTL generated from scheduled behavior in a high-level synthesis flow. | Pranav Ashar, Subhrajit Bhattacharya, Anand Raghunathan, Akira Mukaiyama |