On Proving the Correctness of Optimizing Transformations in a Digital Design Automation System

Mapping Intimacies ◽

10.1109/dac.1981.1585337 ◽

1981 ◽

Cited By ~ 7

Author(s):

M.C. McFarland

Keyword(s):

Design Automation ◽

Digital Design ◽

Automation System

Download Full-text

Specifications for a design automation system

10.1145/800266.810756 ◽

1965 ◽

Cited By ~ 1

Author(s):

R. Mandell ◽

G. Estrin

Keyword(s):

Design Automation ◽

Automation System

Download Full-text

Trilobite: A Natural Modeling Framework for Processor Design Automation System

2009 IEEE 8th International Conference on ASIC ◽

10.1109/asicon.2009.5351302 ◽

2009 ◽

Cited By ~ 1

Author(s):

Mi Zhang ◽

Guang Hu ◽

ZhiLei Chai ◽

ShiLiang Tu

Keyword(s):

Design Automation ◽

Automation System ◽

Processor Design ◽

Modeling Framework

Download Full-text

Design Automation System for Microprogramming

Computer ◽

10.1109/c-m.1973.217028 ◽

1973 ◽

Vol 6 (3) ◽

pp. c2-c2

Keyword(s):

Design Automation ◽

Automation System

Download Full-text

Towards mixed analog/digital design automation: a review

10.1109/iscas.1990.112205 ◽

2002 ◽

Cited By ~ 12

Author(s):

E. Berkcan ◽

F. Yassa

Keyword(s):

Design Automation ◽

Digital Design

Download Full-text

Reference Models to Design Automation System for Manufacturing Lines

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)33262-7 ◽

2001 ◽

Vol 34 (17) ◽

pp. 93-98

Author(s):

Luca Ferrarini

Keyword(s):

Design Automation ◽

Automation System ◽

Reference Models

Download Full-text

Concepts of building a design automation system

10.1145/800267.810784 ◽

1966 ◽

Author(s):

D. Lyons ◽

M. McLuhan

Keyword(s):

Design Automation ◽

Automation System

Download Full-text

The development of a first pass verification module for a SAW filter design automation system

10.1109/ultsym.1991.234141 ◽

2002 ◽

Cited By ~ 3

Author(s):

M.J. McCollister ◽

S.M. Richie

Keyword(s):

Design Automation ◽

Filter Design ◽

Automation System ◽

First Pass

Download Full-text

The CMU design automation system: an example of automated data path design

Papers on Twenty-five years of electronic design automation - 25 years of DAC ◽

10.1145/62882.62945 ◽

1988 ◽

Cited By ~ 1

Author(s):

A. Parker ◽

D. Thomas ◽

D. Siewiorek ◽

M. Barbacci ◽

L. Hafer

Keyword(s):

Design Automation ◽

Automation System ◽

Data Path ◽

Path Design

Download Full-text

FACOM 230-series computer design automation system

10.1145/800160.805131 ◽

1970 ◽

Author(s):

Takao Hayashi

Keyword(s):

Design Automation ◽

Automation System ◽

Computer Design ◽

Series Computer

Download Full-text

Learning digital design using design automation tools

Proceedings of the 39th Midwest Symposium on Circuits and Systems ◽

10.1109/mwscas.1996.594186 ◽

2002 ◽

Cited By ~ 1

Author(s):

Y.Y. Li

Keyword(s):

Design Automation ◽

Digital Design ◽

Automation Tools

Download Full-text