Matches in SemOpenAlex for { <https://semopenalex.org/work/W37827039> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W37827039 endingPage "298" @default.
- W37827039 startingPage "293" @default.
- W37827039 abstract "Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodologies, recent research suggested extending PSL to support AMS systems. However, PSL has been defined initially to formalize properties about logical signals using models such as automata. In fact, the presence of continuous signals in AMS systems and the continuous notion of time are the main obstacles in adopting PSL. In this paper, we propose an approach to verify PSL properties for a class of AMS systems. Our approach is based on modeling the AMS design in terms of a System of Recurrence Equations (SRE). Then, we define an Assertion Based Verification method using the symbolic trace of SRE." @default.
- W37827039 created "2016-06-24" @default.
- W37827039 creator A5007159598 @default.
- W37827039 creator A5010015399 @default.
- W37827039 creator A5019358937 @default.
- W37827039 creator A5034426789 @default.
- W37827039 date "2007-01-01" @default.
- W37827039 modified "2023-10-01" @default.
- W37827039 title "Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL." @default.
- W37827039 cites W1547304883 @default.
- W37827039 cites W1570732927 @default.
- W37827039 cites W1594120130 @default.
- W37827039 cites W1612551514 @default.
- W37827039 cites W1780005695 @default.
- W37827039 cites W2097268763 @default.
- W37827039 cites W2137339287 @default.
- W37827039 cites W2144275718 @default.
- W37827039 cites W2148960955 @default.
- W37827039 cites W2151285759 @default.
- W37827039 cites W2170343534 @default.
- W37827039 cites W2683349557 @default.
- W37827039 hasPublicationYear "2007" @default.
- W37827039 type Work @default.
- W37827039 sameAs 37827039 @default.
- W37827039 citedByCount "18" @default.
- W37827039 countsByYear W378270392012 @default.
- W37827039 countsByYear W378270392013 @default.
- W37827039 countsByYear W378270392015 @default.
- W37827039 countsByYear W378270392017 @default.
- W37827039 crossrefType "proceedings-article" @default.
- W37827039 hasAuthorship W37827039A5007159598 @default.
- W37827039 hasAuthorship W37827039A5010015399 @default.
- W37827039 hasAuthorship W37827039A5019358937 @default.
- W37827039 hasAuthorship W37827039A5034426789 @default.
- W37827039 hasConcept C10464949 @default.
- W37827039 hasConcept C111919701 @default.
- W37827039 hasConcept C112505250 @default.
- W37827039 hasConcept C138885662 @default.
- W37827039 hasConcept C154945302 @default.
- W37827039 hasConcept C199360897 @default.
- W37827039 hasConcept C2524010 @default.
- W37827039 hasConcept C2777212361 @default.
- W37827039 hasConcept C2779843651 @default.
- W37827039 hasConcept C33923547 @default.
- W37827039 hasConcept C40422974 @default.
- W37827039 hasConcept C41008148 @default.
- W37827039 hasConcept C41895202 @default.
- W37827039 hasConcept C530198007 @default.
- W37827039 hasConcept C62907940 @default.
- W37827039 hasConcept C75291252 @default.
- W37827039 hasConcept C80444323 @default.
- W37827039 hasConceptScore W37827039C10464949 @default.
- W37827039 hasConceptScore W37827039C111919701 @default.
- W37827039 hasConceptScore W37827039C112505250 @default.
- W37827039 hasConceptScore W37827039C138885662 @default.
- W37827039 hasConceptScore W37827039C154945302 @default.
- W37827039 hasConceptScore W37827039C199360897 @default.
- W37827039 hasConceptScore W37827039C2524010 @default.
- W37827039 hasConceptScore W37827039C2777212361 @default.
- W37827039 hasConceptScore W37827039C2779843651 @default.
- W37827039 hasConceptScore W37827039C33923547 @default.
- W37827039 hasConceptScore W37827039C40422974 @default.
- W37827039 hasConceptScore W37827039C41008148 @default.
- W37827039 hasConceptScore W37827039C41895202 @default.
- W37827039 hasConceptScore W37827039C530198007 @default.
- W37827039 hasConceptScore W37827039C62907940 @default.
- W37827039 hasConceptScore W37827039C75291252 @default.
- W37827039 hasConceptScore W37827039C80444323 @default.
- W37827039 hasLocation W378270391 @default.
- W37827039 hasOpenAccess W37827039 @default.
- W37827039 hasPrimaryLocation W378270391 @default.
- W37827039 hasRelatedWork W1483606732 @default.
- W37827039 hasRelatedWork W1537946603 @default.
- W37827039 hasRelatedWork W1547304883 @default.
- W37827039 hasRelatedWork W1570732927 @default.
- W37827039 hasRelatedWork W1576278728 @default.
- W37827039 hasRelatedWork W1582385421 @default.
- W37827039 hasRelatedWork W1964164497 @default.
- W37827039 hasRelatedWork W2004373311 @default.
- W37827039 hasRelatedWork W2049696538 @default.
- W37827039 hasRelatedWork W2084777069 @default.
- W37827039 hasRelatedWork W2097451232 @default.
- W37827039 hasRelatedWork W2104439088 @default.
- W37827039 hasRelatedWork W2116358561 @default.
- W37827039 hasRelatedWork W2117350447 @default.
- W37827039 hasRelatedWork W2142091551 @default.
- W37827039 hasRelatedWork W2144275718 @default.
- W37827039 hasRelatedWork W2151285759 @default.
- W37827039 hasRelatedWork W2152383599 @default.
- W37827039 hasRelatedWork W2156581962 @default.
- W37827039 hasRelatedWork W77078696 @default.
- W37827039 isParatext "false" @default.
- W37827039 isRetracted "false" @default.
- W37827039 magId "37827039" @default.
- W37827039 workType "article" @default.