DocumentCode :
3557332
Title :
PyPBS design and methodologies
Author :
Hoover, Greg ; Brewer, Forrest
Author_Institution :
Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA
fYear :
2005
fDate :
11-14 July 2005
Firstpage :
55
Lastpage :
64
Abstract :
This paper presents results on processor specification from a specialized high-level finite state machine (FSM) language. The language is an extension and enhancement of earlier production based specification (regular automata) work using modern software techniques of modularization, abstraction, and object orientation. A brief overview of the language, its synthesis technique, description methods and advantages are presented for a variety of common synchronous pipeline structures in the context of the design of a synthesizable instruction-stream parallel microcontroller.
Keywords :
finite state machines; formal specification; instruction sets; microcontrollers; pipeline processing; PyPBS design; finite state machine language; instruction-stream parallel microcontroller; pipeline structures; processor specification; regular automata; Algorithm design and analysis; Automata; Circuit synthesis; Design methodology; Hardware; Logic design; Microcontrollers; Pipelines; Production; Timing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. Proceedings. Third ACM and IEEE International Conference on
Print_ISBN :
0-7803-9227-2
Type :
conf
DOI :
10.1109/MEMCOD.2005.1487891
Filename :
1487891
Link To Document :
بازگشت