國立高雄大學圖資館 |

Language: English

Back

Modeling and description of embedded...

Princeton University.

Modeling and description of embedded processors for the development of software tools.

Record Type:	Electronic resources : Monograph/item
Title/Author:	Modeling and description of embedded processors for the development of software tools.
Author:	Qin, Wei.
Description:	206 p.
Notes:	Adviser: Sharad Malik.
Notes:	Source: Dissertation Abstracts International, Volume: 65-08, Section: B, page: 4201.
Contained By:	Dissertation Abstracts International65-08B.
Subject:	Engineering, Electronics and Electrical.
Online resource:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3143420
ISBN:	0496011693

Modeling and description of embedded processors for the development of software tools.
Qin, Wei.

Modeling and description of embedded processors for the development of software tools. - 206 p.

Adviser: Sharad Malik.

Thesis (Ph.D.)--Princeton University, 2004.

Increasing design and manufacturing costs are prompting a shift in electronic design from hardwired application-specific integrated circuits (ASICs) to the use of software on programmable platforms. In order to minimize the power and performance overhead of such platforms, domain or application-specific processors have been used. The development of such processors requires not only traditional electronic design automation tools but also processor-specific software tools such as compilers and instruction set simulators. In early development stages when multiple processor design points are explored, it is necessary to have the software tools synthesized from high level processor descriptions. This dissertation presents an approach that aims to automate the synthesis of these software tools. The foundation of the approach is a novel concurrency model, the operation state machine (OSM). The OSM model views a processor in two interacting levels: the operation level where instruction behavior is represented and the hardware level where resources required for instruction execution are managed. Through proper abstraction, the model significantly simplifies the specification of concurrency and control semantics without compromising flexibility. This dissertation then presents the MESCAL Architecture Description Language (MADL) which is designed using the OSM model. It describes the major design considerations of MADL and the synthesis of software tools including cycle-accurate simulators, instruction set simulators, disassemblers, and binary decoders from MADL-based processor models. It further goes on to show how this description can be used to extract reservation tables for use in instruction schedulers in compilers. Experimental results show that the MADL-based approach is very effective in supporting these software tools and the synthesized cycle-accurate simulators have competitive simulation speeds compared to their hand-coded counterparts.

ISBN: 0496011693Subjects--Topical Terms:

226981
Engineering, Electronics and Electrical.

Modeling and description of embedded processors for the development of software tools.
LDR:02928nmm _2200265 _450 001 162813
005 20051017073526.5
008 090528s2004 eng d
020 $a 0496011693
035 $a 00149314
040 $a UnM $c UnM
100 0 $a Qin, Wei. $3 227958
245 1 0 $a Modeling and description of embedded processors for the development of software tools.
300 $a 206 p.
500 $a Adviser: Sharad Malik.
500 $a Source: Dissertation Abstracts International, Volume: 65-08, Section: B, page: 4201.
502 $a Thesis (Ph.D.)--Princeton University, 2004.
520 # $a Increasing design and manufacturing costs are prompting a shift in electronic design from hardwired application-specific integrated circuits (ASICs) to the use of software on programmable platforms. In order to minimize the power and performance overhead of such platforms, domain or application-specific processors have been used. The development of such processors requires not only traditional electronic design automation tools but also processor-specific software tools such as compilers and instruction set simulators. In early development stages when multiple processor design points are explored, it is necessary to have the software tools synthesized from high level processor descriptions. This dissertation presents an approach that aims to automate the synthesis of these software tools. The foundation of the approach is a novel concurrency model, the operation state machine (OSM). The OSM model views a processor in two interacting levels: the operation level where instruction behavior is represented and the hardware level where resources required for instruction execution are managed. Through proper abstraction, the model significantly simplifies the specification of concurrency and control semantics without compromising flexibility. This dissertation then presents the MESCAL Architecture Description Language (MADL) which is designed using the OSM model. It describes the major design considerations of MADL and the synthesis of software tools including cycle-accurate simulators, instruction set simulators, disassemblers, and binary decoders from MADL-based processor models. It further goes on to show how this description can be used to extract reservation tables for use in instruction schedulers in compilers. Experimental results show that the MADL-based approach is very effective in supporting these software tools and the synthesized cycle-accurate simulators have competitive simulation speeds compared to their hand-coded counterparts.
590 $a School code: 0181.
650 # 0 $a Engineering, Electronics and Electrical. $3 226981
650 # 0 $a Computer Science. $3 212513
690 $a 0544
690 $a 0984
710 0 # $a Princeton University. $3 212488
773 0 # $g 65-08B. $t Dissertation Abstracts International
790 $a 0181
790 1 0 $a Malik, Sharad, $e advisor
791 $a Ph.D.
792 $a 2004
856 4 0 $u http://libsw.nuk.edu.tw:81/login?url=http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3143420 $z http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3143420