DocumentCode
3258295
Title
Specification partitioning for system design
Author
Vahid, Frank ; Gajski, Daniel D.
Author_Institution
Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
fYear
1992
fDate
8-12 Jun 1992
Firstpage
219
Lastpage
224
Abstract
The authors focus on the goal of partitioning a behavior to satisfy chip-capacity constraints while considering system-performance constraints. A hardware implementation is assumed with a uniform chip technology. A new approach is introduced which partitions entire computations of a behavioral specification, such as processes and procedures, into chip behavioral specifications. The usefulness of the approach was demonstrated. The results of partitioning several examples using the specification partitioning tool being developed are provided
Keywords
circuit analysis computing; formal specification; systems analysis; behavioral specification; chip behavioral specifications; chip-capacity constraints; hardware implementation; specification partitioning; system design; system-performance constraints; Computer science; Costs; Hardware; Manufacturing; Microcontrollers; Pins; Runtime; System performance; Yield estimation;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation Conference, 1992. Proceedings., 29th ACM/IEEE
Conference_Location
Anaheim, CA
ISSN
0738-100X
Print_ISBN
0-8186-2822-7
Type
conf
DOI
10.1109/DAC.1992.227833
Filename
227833
Link To Document