FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1032261> ?p ?o ?g. }

• W1032261 abstract "The semiconductor industry has long relied on the steady trend of transistor scaling, that is, the shrinking of the dimensions of silicon transistor devices, as a way to improve the cost and performance of electronic devices. However, several design challenges have emerged as transistors have become smaller. For instance, wires are not scaling as fast as transistors, and delay associated with wires is becoming more significant. Moreover, in the design flow for integrated circuits, accurate modeling of wire-related delay is available only toward the end of the design process, when the physical placement of logic units is known. Consequently, one can only know whether timing performance objectives are satisfied, i.e., if timing closure is achieved, after several design optimizations. Unless timing closure is achieved, expensive and time-consuming design-flow iterations are required. Given the challenges arising from increasingly complex designs, failing to quickly achieve timing closure threatens the ability of designers to produce high-performance chips that can match continually growing consumer demands. In this dissertation, we introduce powerful constraint-guided synthesis optimizations that take into account upcoming timing closure challenges and eliminate expensive design iterations. In particular, we use logic simulation to approximate the behavior of increasingly complex designs leveraging a recently proposed concept, called signatures, which allows us to represent a large fraction of a complex circuit's behavior in a compact data structure. By manipulating these signatures, we can efficiently discover a greater set of valid logic transformations than was previously possible and, as a result, enhance timing optimization. Based on the abstractions enabled through signatures, we propose a comprehensive suite of novel techniques: (1) a fast computation of circuit don't cares that increases restructuring opportunities, (2) a verification methodology to prove the correctness of speculative optimizations that efficiently utilizes the computational power of modern multi-core systems, and (3) a physical synthesis strategy using signatures that re-implements sections of a critical path while minimizing perturbations to the existing placement. Our results indicate that logic simulation is effective in approximating the behavior of complex designs and enables a broader family of optimizations than previous synthesis approaches." @default.
• W1032261 created "2016-06-24" @default.
• W1032261 creator A5030335506 @default.
• W1032261 creator A5065370018 @default.
• W1032261 creator A5073198546 @default.
• W1032261 date "2008-01-01" @default.
• W1032261 modified "2023-09-22" @default.
• W1032261 title "Synthesis and verification of digital circuits using functional simulation and boolean satisfiability" @default.
• W1032261 cites W109784087 @default.
• W1032261 cites W1485312863 @default.
• W1032261 cites W1487965496 @default.
• W1032261 cites W1511155470 @default.
• W1032261 cites W1511688816 @default.
• W1032261 cites W1515239800 @default.
• W1032261 cites W1518705996 @default.
• W1032261 cites W1541149163 @default.
• W1032261 cites W1554885925 @default.
• W1032261 cites W1592365454 @default.
• W1032261 cites W1607840088 @default.
• W1032261 cites W1612810659 @default.
• W1032261 cites W1649645444 @default.
• W1032261 cites W1709155369 @default.
• W1032261 cites W1774840895 @default.
• W1032261 cites W1787074469 @default.
• W1032261 cites W1855994541 @default.
• W1032261 cites W1950282396 @default.
• W1032261 cites W1952128916 @default.
• W1032261 cites W1965259933 @default.
• W1032261 cites W1972828686 @default.
• W1032261 cites W1984588379 @default.
• W1032261 cites W1995875735 @default.
• W1032261 cites W2012173826 @default.
• W1032261 cites W2025892554 @default.
• W1032261 cites W2028027538 @default.
• W1032261 cites W2033572512 @default.
• W1032261 cites W2039027656 @default.
• W1032261 cites W2041221011 @default.
• W1032261 cites W2044110884 @default.
• W1032261 cites W2044560939 @default.
• W1032261 cites W2057361103 @default.
• W1032261 cites W2057512592 @default.
• W1032261 cites W2060407451 @default.
• W1032261 cites W2078174680 @default.
• W1032261 cites W2080267935 @default.
• W1032261 cites W2092775861 @default.
• W1032261 cites W2095117703 @default.
• W1032261 cites W2095698047 @default.
• W1032261 cites W2096307462 @default.
• W1032261 cites W2098667711 @default.
• W1032261 cites W2100002116 @default.
• W1032261 cites W2100465945 @default.
• W1032261 cites W2100735755 @default.
• W1032261 cites W2102502584 @default.
• W1032261 cites W2104402818 @default.
• W1032261 cites W2107527204 @default.
• W1032261 cites W2115016520 @default.
• W1032261 cites W2117787767 @default.
• W1032261 cites W2118182815 @default.
• W1032261 cites W2121082877 @default.
• W1032261 cites W2123455796 @default.
• W1032261 cites W2123692429 @default.
• W1032261 cites W2129183345 @default.
• W1032261 cites W2129508712 @default.
• W1032261 cites W2130349975 @default.
• W1032261 cites W2133862387 @default.
• W1032261 cites W2137035823 @default.
• W1032261 cites W2137432232 @default.
• W1032261 cites W2138163913 @default.
• W1032261 cites W2139171217 @default.
• W1032261 cites W2140132043 @default.
• W1032261 cites W2142408995 @default.
• W1032261 cites W2142785340 @default.
• W1032261 cites W2144601970 @default.
• W1032261 cites W2144881658 @default.
• W1032261 cites W2147971753 @default.
• W1032261 cites W2150985898 @default.
• W1032261 cites W2153125146 @default.
• W1032261 cites W2155462145 @default.
• W1032261 cites W2157591717 @default.
• W1032261 cites W2157778673 @default.
• W1032261 cites W2159034123 @default.
• W1032261 cites W2159111323 @default.
• W1032261 cites W2159265808 @default.
• W1032261 cites W2159283907 @default.
• W1032261 cites W2160171019 @default.
• W1032261 cites W2160252016 @default.
• W1032261 cites W2160521563 @default.
• W1032261 cites W2161463615 @default.
• W1032261 cites W2161903407 @default.
• W1032261 cites W2163932442 @default.
• W1032261 cites W2164154623 @default.
• W1032261 cites W2165081508 @default.
• W1032261 cites W2166795801 @default.
• W1032261 cites W2169438188 @default.
• W1032261 cites W2587271961 @default.
• W1032261 cites W266633353 @default.
• W1032261 cites W2914775474 @default.
• W1032261 cites W3203992401 @default.
• W1032261 cites W2611428983 @default.
• W1032261 hasPublicationYear "2008" @default.

• next