{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T23:06:44Z","timestamp":1778627204804,"version":"3.51.4"},"reference-count":15,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2008,9,1]],"date-time":"2008-09-01T00:00:00Z","timestamp":1220227200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100006602","name":"Air Force Research Laboratory","doi-asserted-by":"publisher","award":["FA8750-05-1-0282"],"award-info":[{"award-number":["FA8750-05-1-0282"]}],"id":[{"id":"10.13039\/100006602","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000143","name":"Division of Computing and Communication Foundations","doi-asserted-by":"publisher","award":["CCF-0448189"],"award-info":[{"award-number":["CCF-0448189"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-04-1-0043"],"award-info":[{"award-number":["FA9550-04-1-0043"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Des. Autom. Electron. Syst."],"published-print":{"date-parts":[[2008,9]]},"abstract":"<jats:p>\n            In this work, we propose a new and efficient approach to the\n            <jats:italic>floorplan repair<\/jats:italic>\n            problem, where violated design constraints are satisfied by applying small changes to an existing rough floorplan. Such a floorplan can be produced by a human designer, a scalable placement algorithm, or result from engineering adjustments to an existing floorplan. In such cases, overlapping modules must be separated, and others may need to be repositioned to satisfy additional requirements. Our algorithmic framework uses an expressive graph-based encoding of constraints which can reflect fixed-outline, region, proximity and alignment constraints. By tracking the implications of existing constraints, we resolve violations by imposing gradual modifications to the floorplan, in an attempt to preserve the characteristics of its initial design. Empirically, our approach is effective at removing overlaps and repairing violations that may occur when design constraints are acquired and imposed dynamically.\n          <\/jats:p>","DOI":"10.1145\/1391962.1391975","type":"journal-article","created":{"date-parts":[[2008,10,7]],"date-time":"2008-10-07T12:48:29Z","timestamp":1223383709000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Constraint-driven floorplan repair"],"prefix":"10.1145","volume":"13","author":[{"given":"Michael D.","family":"Moffitt","sequence":"first","affiliation":[{"name":"IBM Austin Research Lab, Austin, TX"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jarrod A.","family":"Roy","sequence":"additional","affiliation":[{"name":"University of Michigan, Ann Arbor, MI"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Igor L.","family":"Markov","sequence":"additional","affiliation":[{"name":"University of Michigan, Ann Arbor, MI"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martha E.","family":"Pollack","sequence":"additional","affiliation":[{"name":"University of Michigan, Ann Arbor, MI"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,10,3]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2003.817546"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/981066.981069"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1119772.1119835"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1120725.1120838"},{"key":"e_1_2_1_5_1","first-page":"165","volume-title":"Proceedings of ICCAD","author":"Cong J.","unstructured":"Cong , J. , Romesis , M. , and Shinnerl , J. R . 2005b. Robust mixed-size placement under tight white-space constraints . In Proceedings of ICCAD , pp. 165 -- 172 . Cong, J., Romesis, M., and Shinnerl, J. R. 2005b. Robust mixed-size placement under tight white-space constraints. In Proceedings of ICCAD, pp. 165--172."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1118299.1118353"},{"key":"e_1_2_1_7_1","first-page":"891","volume-title":"Proceedings of ICCAD","author":"Kahng A. B.","unstructured":"Kahng , A. B. , Reda , S. , and Wang , Q . 2005. Architecture and details of a high quality, large-scale analytical placer . In Proceedings of ICCAD , pp. 891 -- 898 . Kahng, A. B., Reda, S., and Wang, Q. 2005. Architecture and details of a high quality, large-scale analytical placer. In Proceedings of ICCAD, pp. 891--898."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/981066.981084"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147188"},{"key":"e_1_2_1_10_1","first-page":"93","volume-title":"Proceedings of ICAPS","author":"Moffitt M. D.","year":"2006","unstructured":"Moffitt , M. D. , and Pollack ., M. E. 2006 . Optimal rectangle packing: a meta-CSP approach . In Proceedings of ICAPS , pp. 93 -- 102 . Moffitt, M. D., and Pollack., M. E. 2006. Optimal rectangle packing: a meta-CSP approach. In Proceedings of ICAPS, pp. 93--102."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/307418.307568"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065579.1065712"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.855969"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/606603.606607"},{"key":"e_1_2_1_15_1","first-page":"661","volume-title":"Proceedings of ASP-DAC","author":"Young E.","unstructured":"Young , E. , Ho , M. L. , and Chu , C . 2002. A unified method to handle different kinds of placement constraints in floorplan design . In Proceedings of ASP-DAC , pp. 661 -- 670 . Young, E., Ho, M. L., and Chu, C. 2002. A unified method to handle different kinds of placement constraints in floorplan design. In Proceedings of ASP-DAC, pp. 661--670."}],"container-title":["ACM Transactions on Design Automation of Electronic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1391962.1391975","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1391962.1391975","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:47:13Z","timestamp":1750258033000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1391962.1391975"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9]]},"references-count":15,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2008,9]]}},"alternative-id":["10.1145\/1391962.1391975"],"URL":"https:\/\/doi.org\/10.1145\/1391962.1391975","relation":{},"ISSN":["1084-4309","1557-7309"],"issn-type":[{"value":"1084-4309","type":"print"},{"value":"1557-7309","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,9]]},"assertion":[{"value":"2006-12-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2008-05-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2008-10-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}