Matches in SemOpenAlex for { <https://semopenalex.org/work/W3041259634> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W3041259634 abstract "Mixed-signal components, such as low dropouts (LDOs) and phase locked loops (PLLs), are widely used inside the on-chip power management fabric of low power integrated system-on-chip (SoC) designs. The digital brain of the power management logic that is responsible for regulating the power delivery to different power domains in the chip has to consider the real time latencies of the analog components, which otherwise leads to functional errors in the domains being driven. The latencies may be viewed as contracts between the digital and the analog. This article presents an approach for generating assertions for protecting such mixed-signal latency contracts and using them to rule out timing bugs in the power management logic. Our tool flow enables the verification of the power management fabric, combining a novel mixed-signal assertion checking method in a simulation setting, and a full formal verification method for the digital brain of the power management logic. To the best of our knowledge, this is the first framework where assertions are used for binding analog latency contracts on the digital logic of power management." @default.
- W3041259634 created "2020-07-16" @default.
- W3041259634 creator A5022880201 @default.
- W3041259634 creator A5033329960 @default.
- W3041259634 creator A5046428081 @default.
- W3041259634 creator A5084186243 @default.
- W3041259634 date "2020-08-01" @default.
- W3041259634 modified "2023-09-23" @default.
- W3041259634 title "Assertions for Protecting Mixed-Signal Latency Contracts in Power Management" @default.
- W3041259634 cites W1633471522 @default.
- W3041259634 cites W1998492944 @default.
- W3041259634 cites W2018320583 @default.
- W3041259634 cites W2036961265 @default.
- W3041259634 cites W2105524902 @default.
- W3041259634 cites W2105606575 @default.
- W3041259634 cites W2108730429 @default.
- W3041259634 cites W2133079932 @default.
- W3041259634 cites W2138264002 @default.
- W3041259634 cites W2158899676 @default.
- W3041259634 cites W2343845377 @default.
- W3041259634 cites W2600177544 @default.
- W3041259634 cites W2946512309 @default.
- W3041259634 doi "https://doi.org/10.1109/tvlsi.2020.3002481" @default.
- W3041259634 hasPublicationYear "2020" @default.
- W3041259634 type Work @default.
- W3041259634 sameAs 3041259634 @default.
- W3041259634 citedByCount "1" @default.
- W3041259634 countsByYear W30412596342022 @default.
- W3041259634 crossrefType "journal-article" @default.
- W3041259634 hasAuthorship W3041259634A5022880201 @default.
- W3041259634 hasAuthorship W3041259634A5033329960 @default.
- W3041259634 hasAuthorship W3041259634A5046428081 @default.
- W3041259634 hasAuthorship W3041259634A5084186243 @default.
- W3041259634 hasConcept C111919701 @default.
- W3041259634 hasConcept C11413529 @default.
- W3041259634 hasConcept C118021083 @default.
- W3041259634 hasConcept C121332964 @default.
- W3041259634 hasConcept C127413603 @default.
- W3041259634 hasConcept C131017901 @default.
- W3041259634 hasConcept C149635348 @default.
- W3041259634 hasConcept C163258240 @default.
- W3041259634 hasConcept C165005293 @default.
- W3041259634 hasConcept C199360897 @default.
- W3041259634 hasConcept C24326235 @default.
- W3041259634 hasConcept C2778774385 @default.
- W3041259634 hasConcept C40422974 @default.
- W3041259634 hasConcept C41008148 @default.
- W3041259634 hasConcept C530198007 @default.
- W3041259634 hasConcept C62520636 @default.
- W3041259634 hasConcept C62907940 @default.
- W3041259634 hasConcept C76155785 @default.
- W3041259634 hasConcept C82876162 @default.
- W3041259634 hasConceptScore W3041259634C111919701 @default.
- W3041259634 hasConceptScore W3041259634C11413529 @default.
- W3041259634 hasConceptScore W3041259634C118021083 @default.
- W3041259634 hasConceptScore W3041259634C121332964 @default.
- W3041259634 hasConceptScore W3041259634C127413603 @default.
- W3041259634 hasConceptScore W3041259634C131017901 @default.
- W3041259634 hasConceptScore W3041259634C149635348 @default.
- W3041259634 hasConceptScore W3041259634C163258240 @default.
- W3041259634 hasConceptScore W3041259634C165005293 @default.
- W3041259634 hasConceptScore W3041259634C199360897 @default.
- W3041259634 hasConceptScore W3041259634C24326235 @default.
- W3041259634 hasConceptScore W3041259634C2778774385 @default.
- W3041259634 hasConceptScore W3041259634C40422974 @default.
- W3041259634 hasConceptScore W3041259634C41008148 @default.
- W3041259634 hasConceptScore W3041259634C530198007 @default.
- W3041259634 hasConceptScore W3041259634C62520636 @default.
- W3041259634 hasConceptScore W3041259634C62907940 @default.
- W3041259634 hasConceptScore W3041259634C76155785 @default.
- W3041259634 hasConceptScore W3041259634C82876162 @default.
- W3041259634 hasLocation W30412596341 @default.
- W3041259634 hasOpenAccess W3041259634 @default.
- W3041259634 hasPrimaryLocation W30412596341 @default.
- W3041259634 hasRelatedWork W10076840 @default.
- W3041259634 hasRelatedWork W11689255 @default.
- W3041259634 hasRelatedWork W11835941 @default.
- W3041259634 hasRelatedWork W14660534 @default.
- W3041259634 hasRelatedWork W3925069 @default.
- W3041259634 hasRelatedWork W3966515 @default.
- W3041259634 hasRelatedWork W4562818 @default.
- W3041259634 hasRelatedWork W4721213 @default.
- W3041259634 hasRelatedWork W5469727 @default.
- W3041259634 hasRelatedWork W8301382 @default.
- W3041259634 isParatext "false" @default.
- W3041259634 isRetracted "false" @default.
- W3041259634 magId "3041259634" @default.
- W3041259634 workType "article" @default.