Proceedings of the 30th international on Design automation conference - DAC '93
Latest Publications

TOTAL DOCUMENTS

141

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897915771

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

ABLE

Proceedings of the 30th international on Design automation conference - DAC '93 ◽

10.1145/157485.165034 ◽

1993 ◽

Author(s):

Kenneth W. Wan ◽

Roshan A. Gidwani

Download Full-text

Linking BDD-based symbolic evaluation to interactive theorem-proving

Proceedings of the 30th international on Design automation conference - DAC '93 ◽

10.1145/157485.164981 ◽

1993 ◽

Cited By ~ 34

Author(s):

Jeffrey J. Joyce ◽

Carl-Johan H. Seger

Keyword(s):

Theorem Proving ◽

Interactive Theorem Proving ◽

Symbolic Evaluation

Download Full-text

Comparative design validation based on event pattern mappings

Proceedings of the 30th international on Design automation conference - DAC '93 ◽

10.1145/157485.164936 ◽

1993 ◽

Author(s):

Benoit A. Gennart

Keyword(s):

Design Validation

Download Full-text

An approach for redesigning in data path synthesis

Proceedings of the 30th international on Design automation conference - DAC '93 ◽

10.1145/157485.164958 ◽

1993 ◽

Cited By ~ 4

Author(s):

Christos Papachristou ◽

Haidar Harmanani ◽

Mehrdad Nourani

Keyword(s):

Data Path ◽

Path Synthesis

Download Full-text

Synthesis of pipelined instruction set processors

Proceedings of the 30th international on Design automation conference - DAC '93 ◽

10.1145/157485.165053 ◽

1993 ◽

Cited By ~ 15

Author(s):

Richard J. Cloutier ◽

Donald E. Thomas

Keyword(s):

Instruction Set ◽

Instruction Set Processors

Download Full-text

Multi-vendor tool integration experiences (panel)

Proceedings of the 30th international on Design automation conference - DAC '93 ◽

10.1145/157485.165068 ◽

1993 ◽

Keyword(s):

Tool Integration

Download Full-text

A unified approach to language containment and fair CTL model checking

Proceedings of the 30th international on Design automation conference - DAC '93 ◽

10.1145/157485.164985 ◽

1993 ◽

Cited By ~ 5

Author(s):

Ramin Hojati ◽

Thomas R. Shiple ◽

Robert K. Brayton ◽

Robert P. Kurshan

Keyword(s):

Model Checking ◽

Unified Approach ◽

Language Containment

Download Full-text

Practical statistical design of complex integrated circuit products

Proceedings of the 30th international on Design automation conference - DAC '93 ◽

10.1145/157485.165037 ◽

1993 ◽

Cited By ~ 3

Author(s):

Steven G. Duvall

Keyword(s):

Integrated Circuit ◽

Statistical Design

Download Full-text

An architectural transformation program for optimization of digital systems by multi-level decomposition

Proceedings of the 30th international on Design automation conference - DAC '93 ◽

10.1145/157485.164923 ◽

1993 ◽

Cited By ~ 12

Author(s):

Abhijit Chatterjee ◽

Rabindra K. Roy

Keyword(s):

Digital Systems ◽

Multi Level ◽

Architectural Transformation

Download Full-text

Incremental event-driven simulation of digital FET circuits

Proceedings of the 30th international on Design automation conference - DAC '93 ◽

10.1145/157485.165111 ◽

1993 ◽

Cited By ~ 4

Author(s):

Chandramouli Visweswariah ◽

Jalal A. Wehbeh

Keyword(s):

Event Driven

Download Full-text

Proceedings of the 30th international on Design automation conference - DAC '93Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

ABLE

Linking BDD-based symbolic evaluation to interactive theorem-proving

Comparative design validation based on event pattern mappings

An approach for redesigning in data path synthesis

Synthesis of pipelined instruction set processors

Multi-vendor tool integration experiences (panel)

A unified approach to language containment and fair CTL model checking

Practical statistical design of complex integrated circuit products

An architectural transformation program for optimization of digital systems by multi-level decomposition

Incremental event-driven simulation of digital FET circuits

Proceedings of the 30th international on Design automation conference - DAC '93
Latest Publications