Title :
Specification partitioning for system design
Author :
Vahid, Frank ; Gajski, Daniel D.
Author_Institution :
Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
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;
Conference_Titel :
Design Automation Conference, 1992. Proceedings., 29th ACM/IEEE
Conference_Location :
Anaheim, CA
Print_ISBN :
0-8186-2822-7
DOI :
10.1109/DAC.1992.227833
