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

TOTAL DOCUMENTS

141
(FIVE YEARS 0)

H-INDEX

31
(FIVE YEARS 0)

Published By ACM Press

0897915771
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

ABLE

1993 ◽  
Author(s):  
Kenneth W. Wan ◽  
Roshan A. Gidwani

An approach for redesigning in data path synthesis

1993 ◽  
Author(s):  
Christos Papachristou ◽  
Haidar Harmanani ◽  
Mehrdad Nourani
Keyword(s):  
Data Path ◽  
Path Synthesis

A unified approach to language containment and fair CTL model checking

1993 ◽  
Author(s):  
Ramin Hojati ◽  
Thomas R. Shiple ◽  
Robert K. Brayton ◽  
Robert P. Kurshan
Keyword(s):  
Model Checking ◽  
Unified Approach ◽  
Language Containment

Incremental event-driven simulation of digital FET circuits

1993 ◽  
Author(s):  
Chandramouli Visweswariah ◽  
Jalal A. Wehbeh
Keyword(s):  
Event Driven
Load More ...
Sign in / Sign up

Export Citation Format

Share Document