Matches in SemOpenAlex for { <https://semopenalex.org/work/W2018320583> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2018320583 endingPage "1813" @default.
- W2018320583 startingPage "1801" @default.
- W2018320583 abstract "With the growing complexity and gradually shrinking power requirements in the system-on-chip designs, sophisticated global power management policies (which orchestrate the switching between power states of multiple power domains) are commonplace. Recent research has paved some novel ways to verify the sophisticated on-chip architectural power management decisions and analyze the verification coverage. However, one of the primary challenges in verifying such power management architectures stems from the mixed implementation of such strategies, where the local power controllers are in hardware and the global power management is implemented in software/firmware. There has been lack of effort to build a unified and automated framework for power intent verification and coverage analysis for generic power management logics. This paper tries to develop an end-to-end automated framework enabled by a tool named POWER-TRUCTOR for power intent validation." @default.
- W2018320583 created "2016-06-24" @default.
- W2018320583 creator A5013220079 @default.
- W2018320583 creator A5022880201 @default.
- W2018320583 creator A5022957066 @default.
- W2018320583 creator A5033329960 @default.
- W2018320583 creator A5038274461 @default.
- W2018320583 creator A5053260081 @default.
- W2018320583 creator A5076542292 @default.
- W2018320583 date "2013-11-01" @default.
- W2018320583 modified "2023-10-18" @default.
- W2018320583 title "POWER-TRUCTOR: An Integrated Tool Flow for Formal Verification and Coverage of Architectural Power Intent" @default.
- W2018320583 cites W1562679818 @default.
- W2018320583 cites W1827563491 @default.
- W2018320583 cites W1981499043 @default.
- W2018320583 cites W1998492944 @default.
- W2018320583 cites W2026096005 @default.
- W2018320583 cites W2036961265 @default.
- W2018320583 cites W2070015279 @default.
- W2018320583 cites W2104042042 @default.
- W2018320583 cites W2117299787 @default.
- W2018320583 cites W2129109920 @default.
- W2018320583 cites W2141649130 @default.
- W2018320583 cites W2151494804 @default.
- W2018320583 cites W3145549963 @default.
- W2018320583 cites W3147062543 @default.
- W2018320583 cites W2139942673 @default.
- W2018320583 doi "https://doi.org/10.1109/tcad.2013.2267454" @default.
- W2018320583 hasPublicationYear "2013" @default.
- W2018320583 type Work @default.
- W2018320583 sameAs 2018320583 @default.
- W2018320583 citedByCount "11" @default.
- W2018320583 countsByYear W20183205832014 @default.
- W2018320583 countsByYear W20183205832015 @default.
- W2018320583 countsByYear W20183205832016 @default.
- W2018320583 countsByYear W20183205832017 @default.
- W2018320583 countsByYear W20183205832018 @default.
- W2018320583 countsByYear W20183205832020 @default.
- W2018320583 crossrefType "journal-article" @default.
- W2018320583 hasAuthorship W2018320583A5013220079 @default.
- W2018320583 hasAuthorship W2018320583A5022880201 @default.
- W2018320583 hasAuthorship W2018320583A5022957066 @default.
- W2018320583 hasAuthorship W2018320583A5033329960 @default.
- W2018320583 hasAuthorship W2018320583A5038274461 @default.
- W2018320583 hasAuthorship W2018320583A5053260081 @default.
- W2018320583 hasAuthorship W2018320583A5076542292 @default.
- W2018320583 hasConcept C111919701 @default.
- W2018320583 hasConcept C115903868 @default.
- W2018320583 hasConcept C121332964 @default.
- W2018320583 hasConcept C127413603 @default.
- W2018320583 hasConcept C149635348 @default.
- W2018320583 hasConcept C163258240 @default.
- W2018320583 hasConcept C186846655 @default.
- W2018320583 hasConcept C200601418 @default.
- W2018320583 hasConcept C201995342 @default.
- W2018320583 hasConcept C2777904410 @default.
- W2018320583 hasConcept C2778774385 @default.
- W2018320583 hasConcept C3406870 @default.
- W2018320583 hasConcept C41008148 @default.
- W2018320583 hasConcept C529173508 @default.
- W2018320583 hasConcept C62520636 @default.
- W2018320583 hasConcept C67212190 @default.
- W2018320583 hasConceptScore W2018320583C111919701 @default.
- W2018320583 hasConceptScore W2018320583C115903868 @default.
- W2018320583 hasConceptScore W2018320583C121332964 @default.
- W2018320583 hasConceptScore W2018320583C127413603 @default.
- W2018320583 hasConceptScore W2018320583C149635348 @default.
- W2018320583 hasConceptScore W2018320583C163258240 @default.
- W2018320583 hasConceptScore W2018320583C186846655 @default.
- W2018320583 hasConceptScore W2018320583C200601418 @default.
- W2018320583 hasConceptScore W2018320583C201995342 @default.
- W2018320583 hasConceptScore W2018320583C2777904410 @default.
- W2018320583 hasConceptScore W2018320583C2778774385 @default.
- W2018320583 hasConceptScore W2018320583C3406870 @default.
- W2018320583 hasConceptScore W2018320583C41008148 @default.
- W2018320583 hasConceptScore W2018320583C529173508 @default.
- W2018320583 hasConceptScore W2018320583C62520636 @default.
- W2018320583 hasConceptScore W2018320583C67212190 @default.
- W2018320583 hasIssue "11" @default.
- W2018320583 hasLocation W20183205831 @default.
- W2018320583 hasOpenAccess W2018320583 @default.
- W2018320583 hasPrimaryLocation W20183205831 @default.
- W2018320583 hasRelatedWork W1971652653 @default.
- W2018320583 hasRelatedWork W2018320583 @default.
- W2018320583 hasRelatedWork W249391558 @default.
- W2018320583 hasRelatedWork W2734614130 @default.
- W2018320583 hasRelatedWork W2743367129 @default.
- W2018320583 hasRelatedWork W3199460485 @default.
- W2018320583 hasRelatedWork W3200049653 @default.
- W2018320583 hasRelatedWork W3203377303 @default.
- W2018320583 hasRelatedWork W4288389160 @default.
- W2018320583 hasRelatedWork W2150687390 @default.
- W2018320583 hasVolume "32" @default.
- W2018320583 isParatext "false" @default.
- W2018320583 isRetracted "false" @default.
- W2018320583 magId "2018320583" @default.
- W2018320583 workType "article" @default.