Title :
PDAS: Processor design automation system
Author :
Pyo, Iksoo ; Despain, Alvin M.
Author_Institution :
Dept. of Electr. Eng.-Syst., Southern California Univ., CA, USA
Abstract :
The PDAS (Processor Design Automation System) is a new approach to design automation that uses formal methods to achieve a new level of design power and the ability to formally validate designs. The idea is to develop a design automation system which considers both microprocessor hardware design and design of the corresponding language compiler concurrently. Benchmark programs are used to motivate design decisions and optimize performance. Compiler optimizations are considered during the design of hardware. The system spans language design, compiler design, instruction set design, microarchitecture, and VLSI implementation
Keywords :
VLSI; circuit CAD; circuit layout CAD; computer architecture; formal specification; high level synthesis; integrated circuit design; microprocessor chips; optimisation; Processor design automation; VLSI; benchmark programs; compiler design; formal methods; instruction set design; language compiler; language design; microarchitecture; microprocessor hardware design; Computer architecture; Concrete; Design automation; Design optimization; Formal languages; Hardware; Natural languages; Personal digital assistants; Process design; Specification languages;
Conference_Titel :
Design Automation Conference, 1993, with EURO-VHDL '93. Proceedings EURO-DAC '93., European
Conference_Location :
Hamburg
Print_ISBN :
0-8186-4350-1
DOI :
10.1109/EURDAC.1993.410629
