Matches in SemOpenAlex for { <https://semopenalex.org/work/W1992791929> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1992791929 abstract "The development and use of assertions in the Analog and Mixed-signal (AMS) domain is a subject which has attracted significant attention lately from the verification community. Recent studies have suggested that natural extensions of assertion languages (like PSL and SVA) into the AMS domain are not expressive enough to capture many AMS behaviors, and that a library of auxiliary AMS functions are needed along with the assertion language. The integration of auxiliary functions with the core fabric of a temporal logic is non-trivial and can be challenging for a verification engineer. In this paper we propose a purely library-based verification approach, where libraries for checking elementary properties can be naturally connected with libraries for auxiliary functions to monitor complex AMS behaviors. We study the modeling of behaviors with the proposed library, and outline the main challenges and their solutions towards implementing the verification library over commercial AMS simulators." @default.
- W1992791929 created "2016-06-24" @default.
- W1992791929 creator A5033329960 @default.
- W1992791929 creator A5071719457 @default.
- W1992791929 creator A5072879381 @default.
- W1992791929 date "2012-01-01" @default.
- W1992791929 modified "2023-09-25" @default.
- W1992791929 title "A Library for Passive Online Verification of Analog and Mixed-Signal Circuits" @default.
- W1992791929 cites W1494737186 @default.
- W1992791929 cites W2023808162 @default.
- W1992791929 cites W2030263557 @default.
- W1992791929 cites W2051874670 @default.
- W1992791929 cites W2140017391 @default.
- W1992791929 cites W2140028191 @default.
- W1992791929 doi "https://doi.org/10.1109/vlsid.2012.98" @default.
- W1992791929 hasPublicationYear "2012" @default.
- W1992791929 type Work @default.
- W1992791929 sameAs 1992791929 @default.
- W1992791929 citedByCount "0" @default.
- W1992791929 crossrefType "proceedings-article" @default.
- W1992791929 hasAuthorship W1992791929A5033329960 @default.
- W1992791929 hasAuthorship W1992791929A5071719457 @default.
- W1992791929 hasAuthorship W1992791929A5072879381 @default.
- W1992791929 hasConcept C111498074 @default.
- W1992791929 hasConcept C134306372 @default.
- W1992791929 hasConcept C186846655 @default.
- W1992791929 hasConcept C199360897 @default.
- W1992791929 hasConcept C2164484 @default.
- W1992791929 hasConcept C2777904410 @default.
- W1992791929 hasConcept C2779843651 @default.
- W1992791929 hasConcept C33923547 @default.
- W1992791929 hasConcept C3406870 @default.
- W1992791929 hasConcept C36503486 @default.
- W1992791929 hasConcept C40422974 @default.
- W1992791929 hasConcept C41008148 @default.
- W1992791929 hasConcept C529173508 @default.
- W1992791929 hasConcept C62460635 @default.
- W1992791929 hasConcept C76155785 @default.
- W1992791929 hasConceptScore W1992791929C111498074 @default.
- W1992791929 hasConceptScore W1992791929C134306372 @default.
- W1992791929 hasConceptScore W1992791929C186846655 @default.
- W1992791929 hasConceptScore W1992791929C199360897 @default.
- W1992791929 hasConceptScore W1992791929C2164484 @default.
- W1992791929 hasConceptScore W1992791929C2777904410 @default.
- W1992791929 hasConceptScore W1992791929C2779843651 @default.
- W1992791929 hasConceptScore W1992791929C33923547 @default.
- W1992791929 hasConceptScore W1992791929C3406870 @default.
- W1992791929 hasConceptScore W1992791929C36503486 @default.
- W1992791929 hasConceptScore W1992791929C40422974 @default.
- W1992791929 hasConceptScore W1992791929C41008148 @default.
- W1992791929 hasConceptScore W1992791929C529173508 @default.
- W1992791929 hasConceptScore W1992791929C62460635 @default.
- W1992791929 hasConceptScore W1992791929C76155785 @default.
- W1992791929 hasLocation W19927919291 @default.
- W1992791929 hasOpenAccess W1992791929 @default.
- W1992791929 hasPrimaryLocation W19927919291 @default.
- W1992791929 hasRelatedWork W133585380 @default.
- W1992791929 hasRelatedWork W1545186619 @default.
- W1992791929 hasRelatedWork W1564100227 @default.
- W1992791929 hasRelatedWork W1565602876 @default.
- W1992791929 hasRelatedWork W1588797702 @default.
- W1992791929 hasRelatedWork W1949693517 @default.
- W1992791929 hasRelatedWork W1967686058 @default.
- W1992791929 hasRelatedWork W1976802210 @default.
- W1992791929 hasRelatedWork W1992263355 @default.
- W1992791929 hasRelatedWork W2097695639 @default.
- W1992791929 hasRelatedWork W2105199621 @default.
- W1992791929 hasRelatedWork W2112342905 @default.
- W1992791929 hasRelatedWork W2156684181 @default.
- W1992791929 hasRelatedWork W2169895193 @default.
- W1992791929 hasRelatedWork W2295881385 @default.
- W1992791929 hasRelatedWork W2535114184 @default.
- W1992791929 hasRelatedWork W2548201243 @default.
- W1992791929 hasRelatedWork W322671242 @default.
- W1992791929 hasRelatedWork W1789759779 @default.
- W1992791929 hasRelatedWork W1987278116 @default.
- W1992791929 isParatext "false" @default.
- W1992791929 isRetracted "false" @default.
- W1992791929 magId "1992791929" @default.
- W1992791929 workType "article" @default.