Hiromasa HANEDA


Polygon Interval Arithmetic and Interval Evaluation of Value Sets of Transfer Functions
Yuzo OHTA Lei GONG Hiromasa HANEDA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/06/25
Vol. E77-A  No. 6  pp. 1033-1042
Type of Manuscript:  PAPER
Category: Algorithms, Data Structures and Computational Complexity
Keyword: 
polygon interval analysisvalue sets of uncertain systemsdata structure and algorithms for PIA
 Summary | Full Text:PDF(737.4KB)

Prciseness of Discrete Time Verification
Shinji KIMURA Shunsuke TSUBOTA Hiromasa HANEDA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1993/10/25
Vol. E76-A  No. 10  pp. 1755-1759
Type of Manuscript:  Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
Category: 
Keyword: 
timing verificationdiscrete time analysistiming simulationunit time selection
 Summary | Full Text:PDF(390.9KB)

Timing Verification of Logic Circuits with Combined Delay Model
Shinji KIMURA Shigemi KASHIMA Hiromasa HANEDA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/10/25
Vol. E75-A  No. 10  pp. 1230-1238
Type of Manuscript:  Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
Category: 
Keyword: 
timing verificationcomputer aided designlogic simulation
 Summary | Full Text:PDF(741.8KB)

Parallel Binary Decision Diagram Manipulation
Shinji KIMURA Tsutomu IGAKI Hiromasa HANEDA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/10/25
Vol. E75-A  No. 10  pp. 1255-1262
Type of Manuscript:  Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
Category: 
Keyword: 
binary decision diagramparallel algorithmlogic verification
 Summary | Full Text:PDF(678.3KB)

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)