Proceedings International Conference on Computer Design. VLSI in Computers and Processors (Cat. No.98CB36273)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc

0818690992

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Integrated partitioning and scheduling for hardware/software co-design

Proceedings International Conference on Computer Design. VLSI in Computers and Processors (Cat. No.98CB36273) ◽

10.1109/iccd.1998.727125 ◽

2002 ◽

Cited By ~ 2

Author(s):

Huiqun Liu ◽

D.F. Wong

Download Full-text

Antirandom vs. pseudorandom testing

Proceedings International Conference on Computer Design. VLSI in Computers and Processors (Cat. No.98CB36273) ◽

10.1109/iccd.1998.727054 ◽

2002 ◽

Cited By ~ 1

Author(s):

ShenHui Wu ◽

Y.K. Malaiya ◽

A.P. Jayasumana

Download Full-text

Extension of the working-zone-encoding method to reduce the energy on the microprocessor data bus

Proceedings International Conference on Computer Design. VLSI in Computers and Processors (Cat. No.98CB36273) ◽

10.1109/iccd.1998.727083 ◽

2002 ◽

Cited By ~ 4

Author(s):

T. Lang ◽

E. Musoll ◽

J. Cortadella

Keyword(s):

Working Zone ◽

Data Bus ◽

Encoding Method

Download Full-text

Testing digital to analog converters based on oscillation-test strategy using sigma-delta modulation

Proceedings International Conference on Computer Design. VLSI in Computers and Processors (Cat. No.98CB36273) ◽

10.1109/iccd.1998.727021 ◽

2002 ◽

Cited By ~ 15

Author(s):

I.H.S. Hassan ◽

K. Arabi ◽

B. Kaminska

Keyword(s):

Sigma Delta Modulation ◽

Sigma Delta ◽

Digital To Analog Converters ◽

Test Strategy ◽

Oscillation Test ◽

Delta Modulation ◽

Digital To Analog

Download Full-text

An approach to verify a large scale system-on-a-chip using symbolic model checking

Proceedings International Conference on Computer Design. VLSI in Computers and Processors (Cat. No.98CB36273) ◽

10.1109/iccd.1998.727066 ◽

2002 ◽

Cited By ~ 5

Author(s):

K. Takayama ◽

T. Satoh ◽

T. Nakata ◽

F. Hirose

Keyword(s):

Model Checking ◽

Large Scale ◽

Symbolic Model Checking ◽

Symbolic Model ◽

Large Scale System ◽

System On A Chip

Download Full-text

An effective datapath design methodology for high-frequency design

Proceedings International Conference on Computer Design. VLSI in Computers and Processors (Cat. No.98CB36273) ◽

10.1109/iccd.1998.727041 ◽

2002 ◽

Cited By ~ 1

Author(s):

C. Ben-Zvi ◽

P.J. McGuinness ◽

F. Lassandro

Keyword(s):

High Frequency ◽

Design Methodology

Download Full-text

Practical use of transition mode delay to solve the problems of floating mode delay under highly correlated input streams

Proceedings International Conference on Computer Design. VLSI in Computers and Processors (Cat. No.98CB36273) ◽

10.1109/iccd.1998.727103 ◽

2002 ◽

Author(s):

Hoon Choi ◽

Seung Ho Hwang

Keyword(s):

Transition Mode ◽

Highly Correlated

Download Full-text

Dynamic fault diagnosis for sequential circuits on reconfigurable hardware

Proceedings International Conference on Computer Design. VLSI in Computers and Processors (Cat. No.98CB36273) ◽

10.1109/iccd.1998.727051 ◽

2002 ◽

Cited By ~ 1

Author(s):

F. Kocan ◽

D.G. Saab

Keyword(s):

Fault Diagnosis ◽

Reconfigurable Hardware ◽

Sequential Circuits ◽

Dynamic Fault Diagnosis

Download Full-text

On finding undetectable and redundant faults in synchronous sequential circuits

Proceedings International Conference on Computer Design. VLSI in Computers and Processors (Cat. No.98CB36273) ◽

10.1109/iccd.1998.727095 ◽

2002 ◽

Cited By ~ 7

Author(s):

Xijiang Lin ◽

I. Pomeranz ◽

S.M. Reddy

Keyword(s):

Sequential Circuits ◽

Synchronous Sequential Circuits

Download Full-text

Automatic data path abstraction for verification of large scale designs

Proceedings International Conference on Computer Design. VLSI in Computers and Processors (Cat. No.98CB36273) ◽

10.1109/iccd.1998.727044 ◽

2002 ◽

Cited By ~ 8

Author(s):

V. Paruthi ◽

N. Mansouri ◽

R. Vemuri

Keyword(s):

Large Scale ◽

Data Path ◽

Automatic Data

Download Full-text

Proceedings International Conference on Computer Design. VLSI in Computers and Processors (Cat. No.98CB36273)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc

Integrated partitioning and scheduling for hardware/software co-design

Antirandom vs. pseudorandom testing

Extension of the working-zone-encoding method to reduce the energy on the microprocessor data bus

Testing digital to analog converters based on oscillation-test strategy using sigma-delta modulation

An approach to verify a large scale system-on-a-chip using symbolic model checking

An effective datapath design methodology for high-frequency design

Practical use of transition mode delay to solve the problems of floating mode delay under highly correlated input streams

Dynamic fault diagnosis for sequential circuits on reconfigurable hardware

On finding undetectable and redundant faults in synchronous sequential circuits

Automatic data path abstraction for verification of large scale designs

Proceedings International Conference on Computer Design. VLSI in Computers and Processors (Cat. No.98CB36273)
Latest Publications