FRINK Linked Data Fragments server

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

• W95027819 abstract "This paper presents an application of formal methods to the verification of hardware power management modules. The property being verified is called Dominant Controllability and is a property of a netlist node and a subset of the inputs. The property holds if there exists an assignment to the subset of the inputs such that it sets the node to 0/1 regardless of the values at the rest of the inputs. Verification of power management modules in recent CPU and GPU designs includes hundreds of such properties. Two approaches are described for verifying such properties: netlist optmization and QBF solving. In the latter case, a QBF preprocessor is used, requiring partial model reconstruction. Each method can be used independently or combined into a third algorithm that heuristically selects a method based on its performance on a design. Experimental results for these methods are presented and discussed." @default.
• W95027819 created "2016-06-24" @default.
• W95027819 creator A5007929969 @default.
• W95027819 creator A5029230230 @default.
• W95027819 creator A5058337612 @default.
• W95027819 creator A5075284377 @default.
• W95027819 creator A5077134448 @default.
• W95027819 date "2014-01-01" @default.
• W95027819 modified "2023-09-24" @default.
• W95027819 title "Dominant Controllability Check Using QBF-Solver and Netlist Optimizer" @default.
• W95027819 cites W1541238879 @default.
• W95027819 cites W1561543482 @default.
• W95027819 cites W1600869845 @default.
• W95027819 cites W1603914046 @default.
• W95027819 cites W179349679 @default.
• W95027819 cites W2098397367 @default.
• W95027819 cites W2163205571 @default.
• W95027819 cites W2914871854 @default.
• W95027819 cites W3145623039 @default.
• W95027819 cites W3151473321 @default.
• W95027819 cites W53088276 @default.
• W95027819 cites W99602494 @default.
• W95027819 doi "https://doi.org/10.1007/978-3-319-09284-3_18" @default.
• W95027819 hasPublicationYear "2014" @default.
• W95027819 type Work @default.
• W95027819 sameAs 95027819 @default.
• W95027819 citedByCount "7" @default.
• W95027819 countsByYear W950278192015 @default.
• W95027819 countsByYear W950278192016 @default.
• W95027819 countsByYear W950278192018 @default.
• W95027819 countsByYear W950278192019 @default.
• W95027819 countsByYear W950278192021 @default.
• W95027819 crossrefType "book-chapter" @default.
• W95027819 hasAuthorship W95027819A5007929969 @default.
• W95027819 hasAuthorship W95027819A5029230230 @default.
• W95027819 hasAuthorship W95027819A5058337612 @default.
• W95027819 hasAuthorship W95027819A5075284377 @default.
• W95027819 hasAuthorship W95027819A5077134448 @default.
• W95027819 hasConcept C102993220 @default.
• W95027819 hasConcept C110251889 @default.
• W95027819 hasConcept C111472728 @default.
• W95027819 hasConcept C111498074 @default.
• W95027819 hasConcept C11413529 @default.
• W95027819 hasConcept C127413603 @default.
• W95027819 hasConcept C138885662 @default.
• W95027819 hasConcept C14523651 @default.
• W95027819 hasConcept C149635348 @default.
• W95027819 hasConcept C16221470 @default.
• W95027819 hasConcept C177650935 @default.
• W95027819 hasConcept C189950617 @default.
• W95027819 hasConcept C199360897 @default.
• W95027819 hasConcept C2778770139 @default.
• W95027819 hasConcept C28826006 @default.
• W95027819 hasConcept C33203268 @default.
• W95027819 hasConcept C33923547 @default.
• W95027819 hasConcept C34736171 @default.
• W95027819 hasConcept C41008148 @default.
• W95027819 hasConcept C48209547 @default.
• W95027819 hasConcept C62611344 @default.
• W95027819 hasConcept C66938386 @default.
• W95027819 hasConcept C69562738 @default.
• W95027819 hasConcept C74640108 @default.
• W95027819 hasConcept C80444323 @default.
• W95027819 hasConceptScore W95027819C102993220 @default.
• W95027819 hasConceptScore W95027819C110251889 @default.
• W95027819 hasConceptScore W95027819C111472728 @default.
• W95027819 hasConceptScore W95027819C111498074 @default.
• W95027819 hasConceptScore W95027819C11413529 @default.
• W95027819 hasConceptScore W95027819C127413603 @default.
• W95027819 hasConceptScore W95027819C138885662 @default.
• W95027819 hasConceptScore W95027819C14523651 @default.
• W95027819 hasConceptScore W95027819C149635348 @default.
• W95027819 hasConceptScore W95027819C16221470 @default.
• W95027819 hasConceptScore W95027819C177650935 @default.
• W95027819 hasConceptScore W95027819C189950617 @default.
• W95027819 hasConceptScore W95027819C199360897 @default.
• W95027819 hasConceptScore W95027819C2778770139 @default.
• W95027819 hasConceptScore W95027819C28826006 @default.
• W95027819 hasConceptScore W95027819C33203268 @default.
• W95027819 hasConceptScore W95027819C33923547 @default.
• W95027819 hasConceptScore W95027819C34736171 @default.
• W95027819 hasConceptScore W95027819C41008148 @default.
• W95027819 hasConceptScore W95027819C48209547 @default.
• W95027819 hasConceptScore W95027819C62611344 @default.
• W95027819 hasConceptScore W95027819C66938386 @default.
• W95027819 hasConceptScore W95027819C69562738 @default.
• W95027819 hasConceptScore W95027819C74640108 @default.
• W95027819 hasConceptScore W95027819C80444323 @default.
• W95027819 hasLocation W950278191 @default.
• W95027819 hasOpenAccess W95027819 @default.
• W95027819 hasPrimaryLocation W950278191 @default.
• W95027819 hasRelatedWork W1494899888 @default.
• W95027819 hasRelatedWork W1553278548 @default.
• W95027819 hasRelatedWork W1561543482 @default.
• W95027819 hasRelatedWork W1562832747 @default.
• W95027819 hasRelatedWork W1922664086 @default.
• W95027819 hasRelatedWork W1976876676 @default.
• W95027819 hasRelatedWork W2028027538 @default.
• W95027819 hasRelatedWork W2051846104 @default.
• W95027819 hasRelatedWork W2107308202 @default.

• next