Koichiro Takayama
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
1988–2002
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2002 | DAC | Effective safety property checking using simulation-based sequential ATPG. | Shuo Sheng, Koichiro Takayama, Michael S. Hsiao |
| 2001 | ICCD | A New Functional Test Program Generation Methodology. | Farzan Fallah, Koichiro Takayama |
| 2000 | ASPDAC | Automatic partitioning for efficient combinatorial verification. | Rajarshi Mukherjee, Jawahar Jain, Koichiro Takayama, Masahiro Fujita |
| 1999 | CAV | Model Checking Based on Sequential ATPG. | Vamsi Boppana, Sreeranga P. Rajan, Koichiro Takayama, Masahiro Fujita |
| 1999 | DATE | An Efficient Filter-Based Approach for Combinational Verification. | Rajarshi Mukherjee, Jawahar Jain, Koichiro Takayama, Masahiro Fujita, Jacob A. Abraham, Donald S. Fussell |
| 1998 | ICCD | An approach to verify a large scale system-on-a-chip using symbolic model checking. | Koichiro Takayama, Taizo Satoh, Tsuneo Nakata, Fumiyasu Hirose |
| 1988 | ITC | A Method to Generate Tests for Combinational Logic Circuits Using an Ultra-High-Speed Logic Simulator. | Fumiyasu Hirose, Koichiro Takayama, Nobuaki Kawato |