Specification partitioning for system design

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 speci...

Full description

Saved in:
Bibliographic Details
Published in[1992] Proceedings 29th ACM/IEEE Design Automation Conference pp. 219 - 224
Main Authors Vahid, F., Gajski, D.D.
Format Conference Proceeding
LanguageEnglish
Published IEEE Comput. Soc. Press 1992
Subjects
Computer science
Costs
Hardware
Manufacturing
Microcontrollers
Pins
Runtime
System performance
Yield estimation
Online AccessGet full text
ISBN9780818628221
0818628227
ISSN0738-100X
DOI10.1109/DAC.1992.227833

Cover

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.< >
AbstractList 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.< >
Author Vahid, F.
Gajski, D.D.
Author_xml – sequence: 1
  givenname: F.
  surname: Vahid
  fullname: Vahid, F.
  organization: Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
– sequence: 2
  givenname: D.D.
  surname: Gajski
  fullname: Gajski, D.D.
  organization: Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
BookMark eNotj8FOwzAQRC1RJErJGYlTPoCEXW8d28cqUECq1ENB4lbFzroyokkU59K_p6jMZd5p9OZWzLq-YyHuEUpEsE_Pq7pEa2UppTZEVyKz2oBBU0kjJc7EHDSZAgG-bkSW0jeco5SRQHPxuBvYxxB9M8W-y4dmnOIfxe6Qh37M0ylNfMxbTvHQ3Ynr0Pwkzv57IT7XLx_1W7HZvr7Xq00RUcupcOi0DuyIFC7Rm7NNCM5Ta0CxBQZdOTTgvJLkFWvb6mBdxV65ZSUx0EI8XHYjM--HMR6b8bS_3KNfWvpEgA
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/DAC.1992.227833
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
Computer Science
EndPage 224
ExternalDocumentID 227833
GroupedDBID 123
29O
6IE
6IF
6IH
6IK
6IL
6IM
6IN
AAJGR
AAWTH
ACGFS
ADZIZ
ALMA_UNASSIGNED_HOLDINGS
APO
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
IEGSK
IJVOP
IPLJI
M43
OCL
RIE
RIL
RNS
ID FETCH-LOGICAL-i172t-b1b77feb335141c8780ffbc3d805e90e076b180bc523c5e79d7f9b6ec5b4621f3
IEDL.DBID RIE
ISBN 9780818628221
0818628227
ISSN 0738-100X
IngestDate Tue Aug 26 16:39:36 EDT 2025
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i172t-b1b77feb335141c8780ffbc3d805e90e076b180bc523c5e79d7f9b6ec5b4621f3
PageCount 6
ParticipantIDs ieee_primary_227833
PublicationCentury 1900
PublicationDate 19920000
PublicationDateYYYYMMDD 1992-01-01
PublicationDate_xml – year: 1992
  text: 19920000
PublicationDecade 1990
PublicationTitle [1992] Proceedings 29th ACM/IEEE Design Automation Conference
PublicationTitleAbbrev DAC
PublicationYear 1992
Publisher IEEE Comput. Soc. Press
Publisher_xml – name: IEEE Comput. Soc. Press
SSID ssj0000558203
ssj0004161
Score 1.3981396
Snippet The authors focus on the goal of partitioning a behavior to satisfy chip-capacity constraints while considering system-performance constraints. A hardware...
SourceID ieee
SourceType Publisher
StartPage 219
SubjectTerms Computer science
Costs
Hardware
Manufacturing
Microcontrollers
Pins
Runtime
System performance
Yield estimation
Title Specification partitioning for system design
URI https://ieeexplore.ieee.org/document/227833
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjZ1LS8NAEMcX25NeqrXimxw8mnS32UdylGopguLBQm9ldzMLIrRFk4uf3tndtD7w4C0JgZDNhHns_H9DyBVUrigdxyRHAyYoqpCp4ZynVGO4rDXTSnmh8MOjnM74_VzMW8520MIAQGg-g8wfhr38amUbXyobetlmnndIB60sSrW25RQqRBE2FDeSSBZQqWjAnl5K5wH9yDB8R4eoWvDO5py1yB9Gy-HtzdgL-EZZfNaPmSvB5Ux6Ucv9HkiFvtPkNWtqk9mPXxzHf77NPhl8afuSp63XOiA7sOyT3ma4Q9L-632y941UeEiuw5x61xb4krU3uLaUm2DYm0QgdFKFfpABmU3unsfTtB20kL5g_FKnhhmlHKbVvq2f2QLXxjlj86qgAkoKVEnDCmosZq1WgCor5UojwQrD5Yi5_Ih0l6slHJNEGeBa5i6XQnPtco03lYJWHtxeYfJ2Qvp-JRbryNJYxEU4_fPqGdmNzbG-4HFOuvVbAxcYAtTmMnz8T14BqUQ
linkProvider IEEE
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjZ3PT8IwFMdfFA_qBUWMv-3Boxsta9ftaFCCCsQDJNxIu7WJIQGi4-Jf72s38Ec8eNuWJcua17wffd_PA7gxuU1SyzHJUQYTFJnEgeacB1RhuKwUU1I6ofBgGPfG_GkiJhVn22thjDG--cyE7tKf5eeLbOVKZS0n24yibdhBt89FKdbaFFSoEIk_UlyLIpmHpaIJO34pnXj4I8MAHl2irNA763tWQX8YTVv3dx0n4WuH5dd-TF3xTqdbL9Xc755V6HpNZuGq0GH28Yvk-M__OYDml7qPvGz81iFsmXkD6uvxDqTa7Q3Y_8YqPIJbP6neViU-snQmVxVzCQa-pERCk9x3hDRh3H0YdXpBNWoheMUIpgg001JaTKxdYz_LElwba3UW5QkVJqWGylizhOoM89ZMGJnm0qY6NpnQPG4zGx1Dbb6YmxMgUhuu4shGsVBc2UjhS6mguUO355i-nULDrcR0WdI0puUinP359Bp2e6NBf9p_HD6fw17ZKuvKHxdQK95W5hIDgkJfeUP4BHNirJE
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=%5B1992%5D+Proceedings+29th+ACM%2FIEEE+Design+Automation+Conference&rft.atitle=Specification+partitioning+for+system+design&rft.au=Vahid%2C+F.&rft.au=Gajski%2C+D.D.&rft.date=1992-01-01&rft.pub=IEEE+Comput.+Soc.+Press&rft.isbn=9780818628221&rft.issn=0738-100X&rft.spage=219&rft.epage=224&rft_id=info:doi/10.1109%2FDAC.1992.227833&rft.externalDocID=227833
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0738-100X&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0738-100X&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0738-100X&client=summon