Processor Description Languages

1.5 Book Organization 9

peripherals and external interfaces. Second,ADLs will be used for software toolkit

generation,hardware synthesis,test generation,instruction-set synthesis,and valida-

tion of microprocessors. Furthermore, multiprocessor SOCs will be captured and

various attendant tasks will be addressed

1

. The tasks include support for formal

analysis, generation of real-time operating systems (RTOS), exploration of commu-

nication architectures, and support for interface synthesis. The emerging ADLs will

have these features.

1.5 BOOK ORGANIZATION

The rest of the book is organized as follows. The first two chapters introduce the

need for ADLs and ...