DocumentCode
3163041
Title
Symbolic Modeling and Evaluation of Data Paths
Author
Chuck Monahan, Forrest Brewer
Author_Institution
Department of Electrical and Computer Engineering, University of California, Santa Barbara
fYear
1995
fDate
1995
Firstpage
389
Lastpage
394
Abstract
We present an automata model which concisely captures the constraints imposed by a data-path, such as bus hazards, register constraints, and control encoding limitations. A set of uniform base components for depicting general data-paths and techniques for systematic translation of such depictions into Boolean functions are described. Finally, this model is expanded to represent the limitations of generating as well as moving operands by incorporating data-flow graphs. The benefits of this representation are demonstrated by modeling a commercial DSP microprocessor.
Keywords
Automata; Clocks; Communication system control; Encoding; Logic; Multiplexing; Permission; Power system modeling; Registers; Wires;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation, 1995. DAC '95. 32nd Conference on
Conference_Location
San Francisco, CA
ISSN
0738-100X
Print_ISBN
0-89791-725-1
Type
conf
DOI
10.1109/DAC.1995.249979
Filename
1586735
Link To Document