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

Koichiro Takayama

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

2002
9EEShuo Sheng, Koichiro Takayama, Michael S. Hsiao: Effective safety property checking using simulation-based sequential ATPG. DAC 2002: 813-818
8 Rajarshi Mukherjee, Jawahar Jain, Koichiro Takayama, Jacob A. Abraham, Donald S. Fussell, Masahiro Fujita: Efficient Combinational Verification Using Overlapping Local BDDs and a Hash Table. Formal Methods in System Design 21(1): 95-101 (2002)
2001
7 Farzan Fallah, Koichiro Takayama: A New Functional Test Program Generation Methodology. ICCD 2001: 76-81
6EESubramanian Rajagopalan, Sreeranga P. Rajan, Sharad Malik, Sandro Rigo, Guido Araujo, Koichiro Takayama: A retargetable VLIW compiler framework for DSPs withinstruction-level parallelism. IEEE Trans. on CAD of Integrated Circuits and Systems 20(11): 1319-1328 (2001)
2000
5EERajarshi Mukherjee, Jawahar Jain, Koichiro Takayama, Masahiro Fujita: Automatic partitioning for efficient combinatorial verification. ASP-DAC 2000: 67-72
1999
4EEVamsi Boppana, Sreeranga P. Rajan, Koichiro Takayama, Masahiro Fujita: Model Checking Based on Sequential ATPG. CAV 1999: 418-430
3EERajarshi Mukherjee, Jawahar Jain, Koichiro Takayama, Masahiro Fujita, Jacob A. Abraham, Donald S. Fussell: An Efficient Filter-Based Approach for Combinational Verification. DATE 1999: 132-137
2EERajarshi Mukherjee, Jawahar Jain, Koichiro Takayama, Masahiro Fujita, Jacob A. Abraham, Donald S. Fussell: An efficient filter-based approach for combinational verification. IEEE Trans. on CAD of Integrated Circuits and Systems 18(11): 1542-1557 (1999)
1988
1 Fumiyasu Hirose, Koichiro Takayama, Nobuaki Kawato: A Method to Generate Tests for Combinational Logic Circuits Using an Ultra-High-Speed Logic Simulator. ITC 1988: 102-107

Coauthor Index

1Jacob A. Abraham [2] [3] [8]
2Guido Araujo [6]
3Vamsi Boppana [4]
4Farzan Fallah [7]
5Masahiro Fujita [2] [3] [4] [5] [8]
6Donald S. Fussell [2] [3] [8]
7Fumiyasu Hirose [1]
8Michael S. Hsiao [9]
9Jawahar Jain [2] [3] [5] [8]
10Nobuaki Kawato [1]
11Sharad Malik [6]
12Rajarshi Mukherjee [2] [3] [5] [8]
13Subramanian Rajagopalan [6]
14Sreeranga P. Rajan [4] [6]
15Sandro Rigo [6]
16Shuo Sheng [9]

Colors in the list of coauthors

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