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