PyPBS design and methodologies

  • Authors:
  • G. Hoover;F. Brewer

  • Affiliations:
  • Dept. of Electr.&Comput. Eng., California Univ., Santa Barbara, CA, USA;Dept. of Electr.&Comput. Eng., California Univ., Santa Barbara, CA, USA

  • Venue:
  • MEMOCODE '05 Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

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.