FRINK Linked Data Fragments server

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

• W1519337070 abstract "Conventional logic synthesis technology has been a critical factor in improving design productivity over the past decade and a half. It is now widely acknowledged that this trusted technology evolve to handle the challenges and opportunities of finer-featured fabrication processes. Ideally, the time wasting iteration between logic and layout synthesis in today's design methodologies could be eliminated by fusing these two stages simultaneously optimizing the logical structure as well as spatial placement of a circuit. This, however, may be a tall order due to the computational complexity of these tasks. We propose an alternative goal: to more directly relate the functional structure of a logic specification to the ultimate topological and physical structures of its physical realization. Our synthesis approach is based on three novel ideas. First, synthesis is done incrementally by interleaving technology-independent optimization with technology mapping to a specific library. The second novel idea, is that the content of a cell library (the functional variety of its primitives) can be pre-computed to improve quality of synthesized circuit. We develop a symbolic decomposition theory that identifies the types of logic functions that must be available in a cell library to guarantee desirable decompositions of a set of logic specifications. And thirdly, we exploit the semantic structure of a specification (symmetry in particular) during decomposition and mapping to obtain compact implementations. Specifically, a variety of symmetries is quickly identified and used to guide the synthesis process. Our strategy enables us to obtain a high quality circuits, with improved delay. The improved quality of the implementations is the result of a coordinated strategy that incrementally infers decomposition decisions from a functional structure." @default.
• W1519337070 created "2016-06-24" @default.
• W1519337070 creator A5038911613 @default.
• W1519337070 creator A5077314055 @default.
• W1519337070 date "2001-01-01" @default.
• W1519337070 modified "2023-09-24" @default.
• W1519337070 title "Constructive multi-level synthesis by way of functional properties" @default.
• W1519337070 cites W1486537126 @default.
• W1519337070 cites W1489971362 @default.
• W1519337070 cites W1496057379 @default.
• W1519337070 cites W1496641256 @default.
• W1519337070 cites W1497264647 @default.
• W1519337070 cites W1498138768 @default.
• W1519337070 cites W1505590927 @default.
• W1519337070 cites W1517585663 @default.
• W1519337070 cites W1524966284 @default.
• W1519337070 cites W1546297343 @default.
• W1519337070 cites W1548459443 @default.
• W1519337070 cites W1554822239 @default.
• W1519337070 cites W1578044518 @default.
• W1519337070 cites W1602476740 @default.
• W1519337070 cites W1604154703 @default.
• W1519337070 cites W1606129576 @default.
• W1519337070 cites W169157382 @default.
• W1519337070 cites W1797398192 @default.
• W1519337070 cites W1831145899 @default.
• W1519337070 cites W1886348063 @default.
• W1519337070 cites W1924032968 @default.
• W1519337070 cites W1965228520 @default.
• W1519337070 cites W1968818838 @default.
• W1519337070 cites W1978551391 @default.
• W1519337070 cites W1979269278 @default.
• W1519337070 cites W1983397820 @default.
• W1519337070 cites W1983853051 @default.
• W1519337070 cites W1992006255 @default.
• W1519337070 cites W1996535604 @default.
• W1519337070 cites W2003958683 @default.
• W1519337070 cites W2006744325 @default.
• W1519337070 cites W2017096836 @default.
• W1519337070 cites W2018094844 @default.
• W1519337070 cites W2028206183 @default.
• W1519337070 cites W2030224590 @default.
• W1519337070 cites W2035444316 @default.
• W1519337070 cites W2036887642 @default.
• W1519337070 cites W2037931040 @default.
• W1519337070 cites W2042714660 @default.
• W1519337070 cites W2048056120 @default.
• W1519337070 cites W2053619330 @default.
• W1519337070 cites W2056145119 @default.
• W1519337070 cites W2063511609 @default.
• W1519337070 cites W2065966163 @default.
• W1519337070 cites W2078740228 @default.
• W1519337070 cites W2080267935 @default.
• W1519337070 cites W2080957175 @default.
• W1519337070 cites W2091405247 @default.
• W1519337070 cites W2093176534 @default.
• W1519337070 cites W2096466247 @default.
• W1519337070 cites W2097830678 @default.
• W1519337070 cites W2100083403 @default.
• W1519337070 cites W2102128707 @default.
• W1519337070 cites W2103240723 @default.
• W1519337070 cites W2105657141 @default.
• W1519337070 cites W2105761964 @default.
• W1519337070 cites W2108016168 @default.
• W1519337070 cites W2111368429 @default.
• W1519337070 cites W2112173236 @default.
• W1519337070 cites W2112549062 @default.
• W1519337070 cites W2114394884 @default.
• W1519337070 cites W2116181020 @default.
• W1519337070 cites W2117956479 @default.
• W1519337070 cites W2118291360 @default.
• W1519337070 cites W2118615994 @default.
• W1519337070 cites W2120634758 @default.
• W1519337070 cites W2122479308 @default.
• W1519337070 cites W2123312976 @default.
• W1519337070 cites W2125057414 @default.
• W1519337070 cites W2127340105 @default.
• W1519337070 cites W2127820142 @default.
• W1519337070 cites W2133491672 @default.
• W1519337070 cites W2135453964 @default.
• W1519337070 cites W2135785475 @default.
• W1519337070 cites W2140127333 @default.
• W1519337070 cites W2142700986 @default.
• W1519337070 cites W2144491553 @default.
• W1519337070 cites W2149479807 @default.
• W1519337070 cites W2150319413 @default.
• W1519337070 cites W2150612825 @default.
• W1519337070 cites W2152056125 @default.
• W1519337070 cites W2152926724 @default.
• W1519337070 cites W2153525410 @default.
• W1519337070 cites W2153886208 @default.
• W1519337070 cites W2154030608 @default.
• W1519337070 cites W2156028445 @default.
• W1519337070 cites W2159034123 @default.
• W1519337070 cites W2159070575 @default.
• W1519337070 cites W2159658760 @default.
• W1519337070 cites W2160111537 @default.
• W1519337070 cites W2163205571 @default.
• W1519337070 cites W2164832473 @default.
• W1519337070 cites W2166116860 @default.

• next