Proceedings of EURO-DAC. European Design Automation Conference
Latest Publications

TOTAL DOCUMENTS

96

(FIVE YEARS 0)

H-INDEX

11

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

0818671564

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A native process algebra for VHDL

Proceedings of EURO-DAC. European Design Automation Conference ◽

10.1109/eurdac.1995.527439 ◽

2002 ◽

Author(s):

P.T. Breuer ◽

N.M. Madrid

Keyword(s):

Process Algebra

Download Full-text

A uniform design methodology for application specific digital integrated circuits in automotive applications

Proceedings of EURO-DAC. European Design Automation Conference ◽

10.1109/eurdac.1995.527462 ◽

2002 ◽

Author(s):

J. Papanuskas ◽

B. Mossner ◽

T. Lindenkreuz ◽

J. Hanisch

Keyword(s):

Integrated Circuits ◽

Design Methodology ◽

Uniform Design ◽

Automotive Applications ◽

Digital Integrated Circuits ◽

Application Specific

Download Full-text

Verification of a production cell controller using symbolic timing diagrams

Proceedings of EURO-DAC. European Design Automation Conference ◽

10.1109/eurdac.1995.527458 ◽

2002 ◽

Author(s):

R. Schlor ◽

F. Korf

Keyword(s):

Timing Diagrams ◽

Cell Controller ◽

Production Cell

Download Full-text

Procedure exlining: a new system-level specification transformation

Proceedings of EURO-DAC. European Design Automation Conference ◽

10.1109/eurdac.1995.527452 ◽

2002 ◽

Author(s):

F. Vahid

Keyword(s):

System Level ◽

Download Full-text

VHDL quality: synthesizability, complexity and efficiency evaluation

Proceedings of EURO-DAC. European Design Automation Conference ◽

10.1109/eurdac.1995.527448 ◽

2002 ◽

Author(s):

M. Mastretti ◽

M.L. Busi ◽

R. Sarvello ◽

M. Sturlesi ◽

S. Tomasello

Keyword(s):

Efficiency Evaluation

Download Full-text

Towards verifying VHDL descriptions of processors

Proceedings of EURO-DAC. European Design Automation Conference ◽

10.1109/eurdac.1995.527438 ◽

2002 ◽

Author(s):

L. Arditi ◽

H. Collavizza

Download Full-text

A unified approach to the extraction of realistic multiple bridging and break faults

Proceedings of EURO-DAC. European Design Automation Conference ◽

10.1109/eurdac.1995.527406 ◽

2002 ◽

Author(s):

G. Spiegel ◽

A.P. Stroele

Keyword(s):

Unified Approach

Download Full-text

An approach for classification of integrated circuits by a knowledge conserving library concept

Proceedings of EURO-DAC. European Design Automation Conference ◽

10.1109/eurdac.1995.527387 ◽

2002 ◽

Author(s):

D. Wagenblasst ◽

W. Thronicke

Keyword(s):

Integrated Circuits

Download Full-text

Device selection for system partitioning

Proceedings of EURO-DAC. European Design Automation Conference ◽

10.1109/eurdac.1995.527381 ◽

2002 ◽

Author(s):

U. Weinmann ◽

O. Bringmann ◽

W. Rosenstiel

Keyword(s):

Device Selection ◽

Selection For ◽

System Partitioning

Download Full-text

Timing optimization by bit-level arithmetic transformations

Proceedings of EURO-DAC. European Design Automation Conference ◽

10.1109/eurdac.1995.527388 ◽

2002 ◽

Author(s):

L. Rijnders ◽

Z. Sahraoui ◽

P. Six ◽

H. De Man

Keyword(s):

Timing Optimization

Download Full-text