dblp.uni-trier.dewww.uni-trier.de

Akira Mukaiyama

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Pranav Ashar [1] [2] [3]
2Subhrajit Bhattacharya [1]
3Albert E. Casavant [2] [3]
4Malay K. Ganai [4]
5Aarti Gupta [2] [3] [4]
6S. Liu [2]
7X. G. Liu [3]
8Anand Raghunathan [1]
9Kazutoshi Wakabayashi [2] [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)