FRINK Linked Data Fragments server

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

• W2014319462 endingPage "794" @default.
• W2014319462 startingPage "787" @default.
• W2014319462 abstract "In this paper, we present techniques for partial synthesis through sampling mostly for combinational circuits. Here partial synthesis means that most parts of the target circuits are fixed whereas the missing portions must be logic synthesized from scratch. By modeling the missing portions with Look Up Table (LUT) or uninterpreted function (UF), their synthesis and verification problems can be formulated as Quantified Boolean Formulae (QBF). We solve these QBF by repeatedly applying a two step procedure i.e., synthesizing circuits from sample simulation results (necessary conditions) followed by formal verification on the synthesized ones with their specifications for the entire circuits (sufficient conditions). If a circuit is not correct, a counter example is automatically generated which is added to the sampling in the next iteration. With state-of-the-art combinational formal equivalence checkers, our experiments show that large circuits having more than hundreds of thousands of gates can be successfully processed with small numbers of repetitions (in the order of hundreds). Next, we extend the techniques in such a way that no formal specifications nor formal verifiers are available, but only simulation models are used for correct partial synthesis. This is achieved by searching for multiple different solution circuits for missing portions which behave the same for the sampled inputs but differently with another input. By repeating this process, we can narrow down the search space, and the solution circuit may become only one which should be the correct partial synthesis. We show successfully experimental results with small numbers of repetitions for circuits where 32-inputs/32-outputs sub-circuits are missing." @default.
• W2014319462 created "2016-06-24" @default.
• W2014319462 creator A5027837299 @default.
• W2014319462 creator A5054079223 @default.
• W2014319462 creator A5055047977 @default.
• W2014319462 creator A5071594238 @default.
• W2014319462 date "2013-11-18" @default.
• W2014319462 modified "2023-10-04" @default.
• W2014319462 title "Partial synthesis through sampling with and without specification" @default.
• W2014319462 cites W1482661140 @default.
• W2014319462 cites W1503377936 @default.
• W2014319462 cites W1579437898 @default.
• W2014319462 cites W1979903718 @default.
• W2014319462 cites W1985685974 @default.
• W2014319462 cites W2060407451 @default.
• W2014319462 cites W2080267935 @default.
• W2014319462 cites W2116242425 @default.
• W2014319462 cites W2133182120 @default.
• W2014319462 cites W2134734244 @default.
• W2014319462 cites W2140132043 @default.
• W2014319462 cites W2142726962 @default.
• W2014319462 cites W2163027960 @default.
• W2014319462 cites W2295683841 @default.
• W2014319462 cites W2914069437 @default.
• W2014319462 cites W3151473321 @default.
• W2014319462 doi "https://doi.org/10.5555/2561828.2561979" @default.
• W2014319462 hasPublicationYear "2013" @default.
• W2014319462 type Work @default.
• W2014319462 sameAs 2014319462 @default.
• W2014319462 citedByCount "11" @default.
• W2014319462 countsByYear W20143194622014 @default.
• W2014319462 countsByYear W20143194622015 @default.
• W2014319462 countsByYear W20143194622016 @default.
• W2014319462 countsByYear W20143194622017 @default.
• W2014319462 countsByYear W20143194622019 @default.
• W2014319462 countsByYear W20143194622020 @default.
• W2014319462 crossrefType "proceedings-article" @default.
• W2014319462 hasAuthorship W2014319462A5027837299 @default.
• W2014319462 hasAuthorship W2014319462A5054079223 @default.
• W2014319462 hasAuthorship W2014319462A5055047977 @default.
• W2014319462 hasAuthorship W2014319462A5071594238 @default.
• W2014319462 hasConcept C106131492 @default.
• W2014319462 hasConcept C111498074 @default.
• W2014319462 hasConcept C11413529 @default.
• W2014319462 hasConcept C118615104 @default.
• W2014319462 hasConcept C119599485 @default.
• W2014319462 hasConcept C127413603 @default.
• W2014319462 hasConcept C131017901 @default.
• W2014319462 hasConcept C134146338 @default.
• W2014319462 hasConcept C134835016 @default.
• W2014319462 hasConcept C140779682 @default.
• W2014319462 hasConcept C141796577 @default.
• W2014319462 hasConcept C157922185 @default.
• W2014319462 hasConcept C187075797 @default.
• W2014319462 hasConcept C187455244 @default.
• W2014319462 hasConcept C199360897 @default.
• W2014319462 hasConcept C2780069185 @default.
• W2014319462 hasConcept C31972630 @default.
• W2014319462 hasConcept C33923547 @default.
• W2014319462 hasConcept C41008148 @default.
• W2014319462 hasConcept C56949724 @default.
• W2014319462 hasConcept C80444323 @default.
• W2014319462 hasConcept C81409106 @default.
• W2014319462 hasConcept C96654402 @default.
• W2014319462 hasConceptScore W2014319462C106131492 @default.
• W2014319462 hasConceptScore W2014319462C111498074 @default.
• W2014319462 hasConceptScore W2014319462C11413529 @default.
• W2014319462 hasConceptScore W2014319462C118615104 @default.
• W2014319462 hasConceptScore W2014319462C119599485 @default.
• W2014319462 hasConceptScore W2014319462C127413603 @default.
• W2014319462 hasConceptScore W2014319462C131017901 @default.
• W2014319462 hasConceptScore W2014319462C134146338 @default.
• W2014319462 hasConceptScore W2014319462C134835016 @default.
• W2014319462 hasConceptScore W2014319462C140779682 @default.
• W2014319462 hasConceptScore W2014319462C141796577 @default.
• W2014319462 hasConceptScore W2014319462C157922185 @default.
• W2014319462 hasConceptScore W2014319462C187075797 @default.
• W2014319462 hasConceptScore W2014319462C187455244 @default.
• W2014319462 hasConceptScore W2014319462C199360897 @default.
• W2014319462 hasConceptScore W2014319462C2780069185 @default.
• W2014319462 hasConceptScore W2014319462C31972630 @default.
• W2014319462 hasConceptScore W2014319462C33923547 @default.
• W2014319462 hasConceptScore W2014319462C41008148 @default.
• W2014319462 hasConceptScore W2014319462C56949724 @default.
• W2014319462 hasConceptScore W2014319462C80444323 @default.
• W2014319462 hasConceptScore W2014319462C81409106 @default.
• W2014319462 hasConceptScore W2014319462C96654402 @default.
• W2014319462 hasLocation W20143194621 @default.
• W2014319462 hasOpenAccess W2014319462 @default.
• W2014319462 hasPrimaryLocation W20143194621 @default.
• W2014319462 hasRelatedWork W1500028522 @default.
• W2014319462 hasRelatedWork W1503377936 @default.
• W2014319462 hasRelatedWork W1508214221 @default.
• W2014319462 hasRelatedWork W1528837436 @default.
• W2014319462 hasRelatedWork W193021955 @default.
• W2014319462 hasRelatedWork W1931835055 @default.
• W2014319462 hasRelatedWork W1985685974 @default.
• W2014319462 hasRelatedWork W2008698123 @default.

• next