Akira Mukaiyama

According to our database, Akira Mukaiyama authored at least 4 papers between 1998 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Synthesizing "Verification Aware" Models: Why and How?

Malay K. Ganai, Akira Mukaiyama, Aarti Gupta, Kazutoshi Wakabayashi

Proceedings of the 20th International Conference on VLSI Design (VLSI Design 2007), 2007

2002

Property-Specific Testbench Generation for Guided Simulation.

Aarti Gupta, Albert E. Casavant, Pranav Ashar, Sean Liu, Akira Mukaiyama, Kazutoshi Wakabayashi

Proceedings of the 7th Asia and South Pacific Design Automation Conference (ASP-DAC 2002), 2002

2001

Property-specific witness graph generation for guided simulation.

Albert E. Casavant, Aarti Gupta, S. Liu, Akira Mukaiyama, Kazutoshi Wakabayashi, Pranav Ashar

Proceedings of the Conference on Design, Automation and Test in Europe, 2001

1998

Verification of RTL generated from scheduled behavior in a high-level synthesis flow.

Pranav Ashar, Subhrajit Bhattacharya, Anand Raghunathan, Akira Mukaiyama

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998