A Design-Driven Partitioning Algorithm for Distributed Verilog Simulation
Many partitioning algorithms have been proposed for distributed VLSI simulation. Typically, they make use of a gate level netlist, and attempt to achieve a minimal cut size subject to a load balance constraint. The algorithm executes on a hypergraph which represents the netlist. In this paper we pro...
Saved in:
Published in | 21st International Workshop on Principles of Advanced and Distributed Simulation (PADS 2007): San Diego, California - 12-15 June 2007 pp. 211 - 218 |
---|---|
Main Authors | , |
Format | Conference Proceeding |
Language | English |
Published |
Washington, DC, USA
IEEE Computer Society
12.06.2007
IEEE |
Series | ACM Conferences |
Subjects | |
Online Access | Get full text |
ISBN | 9780769528984 0769528988 |
ISSN | 1087-4097 |
DOI | 10.1109/PADS.2007.4 |
Cover
Abstract | Many partitioning algorithms have been proposed for distributed VLSI simulation. Typically, they make use of a gate level netlist, and attempt to achieve a minimal cut size subject to a load balance constraint. The algorithm executes on a hypergraph which represents the netlist. In this paper we propose a design-driven iterative partitioning algorithm for Verilog based on module instances instead of gates. We do this in order to take advantage of the design hierarchy information contained in the modules and their instances. A Verilog instance represents one vertex in the circuit hypergraph. The vertex can be flattened into multiple vertices in the event that a load balance is not achieved by instance based partitioning. In this case the algorithm flattens the largest instance and moves gates between the partitions in order to improve the load balance. Our experiments show that this partitioning algorithm produces a smaller cutsize than is produced by hmetis on a gate-level netlist. It produces better speedup for the simulation because it takes advantage of the design hierarchy. |
---|---|
AbstractList | Many partitioning algorithms have been proposed for distributed VLSI simulation. Typically, they make use of a gate level netlist, and attempt to achieve a minimal cut size subject to a load balance constraint. The algorithm executes on a hypergraph which represents the netlist. In this paper we propose a design-driven iterative partitioning algorithm for Verilog based on module instances instead of gates. We do this in order to take advantage of the design hierarchy information contained in the modules and their instances. A Verilog instance represents one vertex in the circuit hypergraph. The vertex can be flattened into multiple vertices in the event that a load balance is not achieved by instance based partitioning. In this case the algorithm flattens the largest instance and moves gates between the partitions in order to improve the load balance. Our experiments show that this partitioning algorithm produces a smaller cutsize than is produced by hmetis on a gate-level netlist. It produces better speedup for the simulation because it takes advantage of the design hierarchy. |
Author | Tropper, Carl Li, Lijun |
Author_xml | – sequence: 1 givenname: Lijun surname: Li fullname: Li, Lijun organization: McGill University, Canada – sequence: 2 givenname: Carl surname: Tropper fullname: Tropper, Carl organization: McGill University, Canada |
BookMark | eNqNkE9LwzAchgNOcM6dPHrpQTwInUma5s-xrP4ZDBxMvYY0TWu0bWbSCn57W-YH8Hd5D-_Dy4_nHMw61xkALhFcIQTF3S7L9ysMIVuRE7AUjENGRYq54GQG5ghyFhMo2BlYhvABxyMp4kk6B5ssyk2wdRfn3n6bLtop39veus52dZQ1tfO2f2-jyvkot6H3thh6U0ZvxtvG1dHetkOjJv4CnFaqCWb5lwvw-nD_sn6Kt8-Pm3W2jRVmsI-LUmBTIc7L8e-k0hhpplIijC6oQDgVnFKotaal4ZhilULOiSoIFQymShfJAtwcdw_efQ0m9LK1QZumUZ1xQ5AJQoQJSEfw6ghaY4w8eNsq_yPJODraGdvrY6t0KwvnPoNEUE4y5SRTTjIlGbHbf2Cy8NZUyS_M-nNT |
ContentType | Conference Proceeding |
DBID | 6IE 6IL CBEJK RIE RIL 7SC 8FD JQ2 L7M L~C L~D |
DOI | 10.1109/PADS.2007.4 |
DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE Electronic Library (IEL) IEEE Proceedings Order Plans (POP All) 1998-Present Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
DatabaseTitle | Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional |
DatabaseTitleList | Computer and Information Systems Abstracts |
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 | Computer Science |
EndPage | 218 |
ExternalDocumentID | 4262807 |
Genre | orig-research Conference Paper |
GroupedDBID | 6IE 6IF 6IK 6IL 6IN AAJGR AARBI ACM ADPZR ALMA_UNASSIGNED_HOLDINGS APO BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK GUFHI OCL RIB RIC RIE RIL 123 23M 29P 6IH AAWTH ADZIZ AFFNX ASPBG AVWKF CHZPO IEGSK IPLJI M43 RNS 7SC 8FD JQ2 L7M LHSKQ L~C L~D |
ID | FETCH-LOGICAL-a270t-bd92ef188d1093fc21c7a549ecb6912598660ccc6de8262a50884ab469705acb3 |
IEDL.DBID | RIE |
ISBN | 9780769528984 0769528988 |
ISSN | 1087-4097 |
IngestDate | Thu Jul 10 23:31:13 EDT 2025 Wed Aug 27 02:52:22 EDT 2025 Wed Jan 31 06:43:13 EST 2024 |
IsDoiOpenAccess | false |
IsOpenAccess | true |
IsPeerReviewed | false |
IsScholarly | false |
Language | English |
LinkModel | DirectLink |
MeetingName | PADS07: PADS '07 - Principles of Advanced and Distributed Simulation |
MergedId | FETCHMERGED-LOGICAL-a270t-bd92ef188d1093fc21c7a549ecb6912598660ccc6de8262a50884ab469705acb3 |
Notes | SourceType-Conference Papers & Proceedings-1 ObjectType-Conference Paper-1 content type line 25 |
PQID | 31147906 |
PQPubID | 23500 |
PageCount | 8 |
ParticipantIDs | proquest_miscellaneous_31147906 acm_books_10_1109_PADS_2007_4 ieee_primary_4262807 acm_books_10_1109_PADS_2007_4_brief |
PublicationCentury | 2000 |
PublicationDate | 20070612 2007-June |
PublicationDateYYYYMMDD | 2007-06-12 2007-06-01 |
PublicationDate_xml | – month: 06 year: 2007 text: 20070612 day: 12 |
PublicationDecade | 2000 |
PublicationPlace | Washington, DC, USA |
PublicationPlace_xml | – name: Washington, DC, USA |
PublicationSeriesTitle | ACM Conferences |
PublicationTitle | 21st International Workshop on Principles of Advanced and Distributed Simulation (PADS 2007): San Diego, California - 12-15 June 2007 |
PublicationTitleAbbrev | PADS |
PublicationYear | 2007 |
Publisher | IEEE Computer Society IEEE |
Publisher_xml | – name: IEEE Computer Society – name: IEEE |
SSID | ssj0000451835 ssj0045576 ssj0018336 |
Score | 1.4422736 |
Snippet | Many partitioning algorithms have been proposed for distributed VLSI simulation. Typically, they make use of a gate level netlist, and attempt to achieve a... |
SourceID | proquest ieee acm |
SourceType | Aggregation Database Publisher |
StartPage | 211 |
SubjectTerms | Algorithm design and analysis Circuit simulation Clustering algorithms Computational modeling Costs Hardware -- Hardware validation -- Functional verification -- Simulation and emulation Hardware -- Integrated circuits -- Logic circuits Hardware design languages Iterative algorithms Load management Partitioning algorithms Very large scale integration |
Title | A Design-Driven Partitioning Algorithm for Distributed Verilog Simulation |
URI | https://ieeexplore.ieee.org/document/4262807 https://www.proquest.com/docview/31147906 |
hasFullText | 1 |
inHoldings | 1 |
isFullTextHit | |
isPrint | |
link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1Nb9QwEB2VnjiV0iKWUrAER7J1Esexj6suVUEqWqkU9WY5ttOu2t1F2-ylv74zjrNIgBC3WFYkf4ztefbMewAfLVZUvg5ZrazMRNkIknlBlOIUL13hax9zqy6-yfMr8fW6ut6BT9tcmBBCDD4LY_qMb_l-5TZ0VXZC7OmKUsefoZn1uVrb-xTiSYnUYekFQZUk5N0XRFVFlbmc44oigqcev-sK0YZSiYZnKIuUxZdzfTKbTC97mkNBp5dbJA2WPzbueBqd7cHF0I8-COVuvOmasXv8jeLxfzv6Ag5_5f2x2fZE24edsHwJe4PwA0v7wAF8mbBpjPzIpmvaLdmMDDBd7bLJ_c1qPe9uFwwdYjYlZl4S1Qqe_UBzxzayy_kiqYYdwtXZ5--n51nSZMhsUfMua7wuQpsr5YmHqnVF7mqLGDO4Rmp0lrSSkjvnpA8IXApL_p-wDYLwmlfWNeUr2F2uluE1MKktuiMSj0fNRdtK60shfaV1iy5p7twIjnHEDYGNBxOxCteGZoSkM2sjRvDhn_WmWc9DO4IDGl_zsyfvMGloR_B-mEGDC4peSewyrDYPpkSEiC2Sb_7-4xE8H0IGef4Wdrv1JhyjX9I176JBPgFEjdZV |
linkProvider | IEEE |
linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3Pb9MwFH6atgOcxtgQBbZZgiPpnMRx7GO1MnWwTpW2od0sx3ZGBW1Rl17463nPSYoECHGLZUXy7_c--73vA3hnsaLwZUhKZWUi8kqQzAuiFKd47jJf-phbNb2Wkzvx8b6434H321yYEEIMPgtD-oxv-X7lNnRVdkbs6YpSx_fQ7ouizdba3qgQU0okD-veEFROUt5tQRRF1JlLOe4ponhqEbwuEG8o1RHx9GXR5fGlXJ_NRuObluhQkP1yi06F5Y-jO9qji32Y9j1pw1C-DjdNNXQ_fiN5_N-uPoOjX5l_bLa1aQewE5bPYb-XfmDdSXAIlyM2jrEfyXhN5yWb0RLsLnfZ6NvDaj1vviwYusRsTNy8JKsVPPuMCx7byG7mi0437AjuLj7cnk-STpUhsVnJm6TyOgt1qpQnJqraZakrLaLM4Cqp0V3SSkrunJM-IHTJLHmAwlYIw0teWFflL2B3uVqGl8CktuiQSDSQmou6ltbnQvpC6xqd0tS5ARzjiBuCG48mohWuDc0IiWeWRgzg7T_rTbWeh3oAhzS-5ntL32G6oR3AaT-DBrcUvZPYZVhtHk2OGBFbJF_9_cdTeDK5nV6Zq8vrT6_haR9AyNM3sNusN-EYvZSmOomL8yexFNmi |
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=21st+International+Workshop+on+Principles+of+Advanced+and+Distributed+Simulation+%28PADS+2007%29%3A+San+Diego%2C+California+-+12-15+June+2007&rft.atitle=A+Design-Driven+Partitioning+Algorithm+for+Distributed+Verilog+Simulation&rft.au=Li%2C+Lijun&rft.au=Tropper%2C+Carl&rft.date=2007-06-12&rft.isbn=9780769528984&rft.spage=211&rft.epage=218&rft_id=info:doi/10.1109%2FPADS.2007.4&rft.externalDBID=NO_FULL_TEXT |
thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1087-4097&client=summon |
thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1087-4097&client=summon |
thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1087-4097&client=summon |