| Shinji KIMURA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
FOREWORD Shinji KIMURA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2009/12/01
Vol. E92-A
No. 12
pp. 2961-2961
Type of Manuscript:
FOREWORD Category: Keyword:
| | Summary | Full Text:PDF(54.2KB) | |
|
|
|
|
|
|
|
|
|
|
|
|
|
Coverage Estimation Using Transition Perturbation for Symbolic Model Checking in Hardware Verification Xingwen XU Shinji KIMURA Kazunari HORIKAWA Takehiko TSUCHIYA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2006/12/01
Vol. E89-A
No. 12
pp. 3451-3457
Type of Manuscript:
Special Section PAPER (Special Section on VLSI Design and CAD Algorithms) Category: Simulation and Verification Keyword: model checking, transition coverage, | | Summary | Full Text:PDF(414.2KB) | |
|
|
|
FOREWORD Shinji KIMURA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/12/01
Vol. E88-A
No. 12
pp. 3273-3273
Type of Manuscript:
FOREWORD Category: Keyword:
| | Summary | Full Text:PDF(39.7KB) | |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The Least-Fixed-Point of Feedback-Loops of Logic Circuits for a Set of Input Strings Shinji KIMURA Hiromasa HANEDA | Publication: IEICE TRANSACTIONS (1976-1990)
Publication Date: 1989/12/25
Vol. E72-E
No. 12
pp. 1344-1349
Type of Manuscript:
Special Section PAPER (Special Issue on the 2nd Karuizawa Workshop on Circuits and Systems) Category: VLSI Design Technology Keyword:
| | Summary | Full Text:PDF(502.1KB) | |
|
|