Application-driven design automation for microprocessor design

2 January 2003

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

p. 512-517
https://doi.org/10.1109/dac.1992.227750

Abstract

The authors present an overview of the application-driven design automation system (ADAS) for microprocessor design. ADAS accepts a specification of the instruction set architecture as input, and produces both layout specified in Caltech Intermediate Form, and a reorder table for the language compiler as output. The system spans language design, compiler design, instruction set design, microarchitecture, and VLSI implementation. Another goal of the project is to determine the feasibility of applying formal methodology to design automation and the usefulness of formal syntax and semantics in defining the meaning of specifications. The system implementation on a real industrial example, the TDY-43 processor, is discussed.<>

Keywords

This publication has 14 references indexed in Scilit:

Flamel: A High-Level Hardware Compiler
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1987
Delay Reduction Using Simulated Annealing
Published by Institute of Electrical and Electronics Engineers (IEEE) ,1986
SEHWA: A Program for Synthesis of Pipelines
Published by Institute of Electrical and Electronics Engineers (IEEE) ,1986
A Switch-Level Timing Verifier for Digital MOS VLSI
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1985
Algorithms for automatic transistor sizing in CMOS digital circuits
Published by Association for Computing Machinery (ACM) ,1985
MacPitts: An Approach to Silicon Compilation
Computer, 1983
A Linear-Time Heuristic for Improving Network Partitions
Published by Institute of Electrical and Electronics Engineers (IEEE) ,1982
Efficient Algorithms for Channel Routing
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1982
Instruction set processor specifications (ISPS): The notation and its applications
IEEE Transactions on Computers, 1981
An Efficient Heuristic Procedure for Partitioning Graphs
Bell System Technical Journal, 1970