Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93
Latest Publications

TOTAL DOCUMENTS

113

(FIVE YEARS 0)

H-INDEX

12

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

0818642300

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards a methodology for the formal hierarchical verification of RISC processors

Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93 ◽

10.1109/iccd.1993.393405 ◽

2002 ◽

Author(s):

S. Tahar ◽

R. Kumar

Keyword(s):

Hierarchical Verification

Download Full-text

An intelligent I-cache prefetch mechanism

Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93 ◽

10.1109/iccd.1993.393407 ◽

2002 ◽

Author(s):

H.C. Young ◽

E.J. Shekita

Download Full-text

Hardware self-tuning and circuit performance monitoring

Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93 ◽

10.1109/iccd.1993.393383 ◽

2002 ◽

Author(s):

T. Kehl

Keyword(s):

Performance Monitoring ◽

Circuit Performance ◽

Download Full-text

An efficient symbolic design verification system

Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93 ◽

10.1109/iccd.1993.393363 ◽

2002 ◽

Author(s):

J. Park ◽

M.R. Mercer

Keyword(s):

Design Verification ◽

Verification System

Download Full-text

Wearable computers: Merging information space with the workspace

Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93 ◽

10.1109/iccd.1993.393413 ◽

2002 ◽

Author(s):

D.P. Siewiorek

Keyword(s):

Information Space ◽

Wearable Computers

Download Full-text

A recursive technique for computing lower-bound performance of schedules

Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93 ◽

10.1109/iccd.1993.393412 ◽

2002 ◽

Author(s):

M. Langevin ◽

E. Cerny

Keyword(s):

Download Full-text

Beyond superscalar using FPGAs

Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93 ◽

10.1109/iccd.1993.393328 ◽

2002 ◽

Author(s):

C. Iseli ◽

E. Sanchez

Download Full-text

Bit-splitting for testability enhancement in scan-based design

Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93 ◽

10.1109/iccd.1993.393389 ◽

2002 ◽

Author(s):

X. Xie ◽

A. Albicki

Download Full-text

A systolic architecture for high speed pipelined memories

Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93 ◽

10.1109/iccd.1993.393343 ◽

2002 ◽

Author(s):

A.G. Dickinson ◽

C.J. Nicol

Keyword(s):

Systolic Architecture

Download Full-text

Hierarchical constraint solving in the parametric form with applications to efficient symbolic simulation based verification

Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93 ◽

10.1109/iccd.1993.393361 ◽

2002 ◽

Author(s):

P. Jain ◽

G. Gopalakrishnan

Keyword(s):

Constraint Solving ◽

Parametric Form ◽

Symbolic Simulation ◽

Simulation Based

Download Full-text