FRINK Linked Data Fragments server

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

• W2004373311 endingPage "215" @default.
• W2004373311 startingPage "207" @default.
• W2004373311 abstract "Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recently, several formal techniques have been introduced for AMS verification. In this paper, we propose a difference equations based bounded model checking approach for AMS systems. We define model checking using a combined system of difference equations for both the analog and digital parts, where the state space exploration algorithm is handled with Taylor approximations over interval domains. We illustrate our approach on the verification of several AMS designs including Delta Sigma modulator and oscillator circuits." @default.
• W2004373311 created "2016-06-24" @default.
• W2004373311 creator A5007159598 @default.
• W2004373311 creator A5019163790 @default.
• W2004373311 creator A5019358937 @default.
• W2004373311 creator A5046615729 @default.
• W2004373311 date "2007-11-11" @default.
• W2004373311 modified "2023-10-01" @default.
• W2004373311 title "Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs" @default.
• W2004373311 cites W143062967 @default.
• W2004373311 cites W1489478894 @default.
• W2004373311 cites W1522828591 @default.
• W2004373311 cites W1536813105 @default.
• W2004373311 cites W1537946603 @default.
• W2004373311 cites W1564201208 @default.
• W2004373311 cites W1576278728 @default.
• W2004373311 cites W1580809199 @default.
• W2004373311 cites W1606189410 @default.
• W2004373311 cites W1612551514 @default.
• W2004373311 cites W2026229283 @default.
• W2004373311 cites W2060095702 @default.
• W2004373311 cites W2104439088 @default.
• W2004373311 cites W2106026059 @default.
• W2004373311 cites W2137661662 @default.
• W2004373311 cites W2142091551 @default.
• W2004373311 cites W2144275718 @default.
• W2004373311 cites W2160363596 @default.
• W2004373311 cites W2168621995 @default.
• W2004373311 cites W2340735175 @default.
• W2004373311 cites W2683349557 @default.
• W2004373311 cites W3148137902 @default.
• W2004373311 cites W77078696 @default.
• W2004373311 doi "https://doi.org/10.1109/fmcad.2007.17" @default.
• W2004373311 hasPublicationYear "2007" @default.
• W2004373311 type Work @default.
• W2004373311 sameAs 2004373311 @default.
• W2004373311 citedByCount "9" @default.
• W2004373311 countsByYear W20043733112015 @default.
• W2004373311 countsByYear W20043733112016 @default.
• W2004373311 crossrefType "proceedings-article" @default.
• W2004373311 hasAuthorship W2004373311A5007159598 @default.
• W2004373311 hasAuthorship W2004373311A5019163790 @default.
• W2004373311 hasAuthorship W2004373311A5019358937 @default.
• W2004373311 hasAuthorship W2004373311A5046615729 @default.
• W2004373311 hasConcept C105795698 @default.
• W2004373311 hasConcept C110251889 @default.
• W2004373311 hasConcept C111498074 @default.
• W2004373311 hasConcept C11413529 @default.
• W2004373311 hasConcept C114614502 @default.
• W2004373311 hasConcept C119599485 @default.
• W2004373311 hasConcept C127413603 @default.
• W2004373311 hasConcept C134146338 @default.
• W2004373311 hasConcept C134306372 @default.
• W2004373311 hasConcept C191252586 @default.
• W2004373311 hasConcept C23123167 @default.
• W2004373311 hasConcept C2778067643 @default.
• W2004373311 hasConcept C29074008 @default.
• W2004373311 hasConcept C33923547 @default.
• W2004373311 hasConcept C34388435 @default.
• W2004373311 hasConcept C41008148 @default.
• W2004373311 hasConcept C65620979 @default.
• W2004373311 hasConcept C72434380 @default.
• W2004373311 hasConcept C80444323 @default.
• W2004373311 hasConceptScore W2004373311C105795698 @default.
• W2004373311 hasConceptScore W2004373311C110251889 @default.
• W2004373311 hasConceptScore W2004373311C111498074 @default.
• W2004373311 hasConceptScore W2004373311C11413529 @default.
• W2004373311 hasConceptScore W2004373311C114614502 @default.
• W2004373311 hasConceptScore W2004373311C119599485 @default.
• W2004373311 hasConceptScore W2004373311C127413603 @default.
• W2004373311 hasConceptScore W2004373311C134146338 @default.
• W2004373311 hasConceptScore W2004373311C134306372 @default.
• W2004373311 hasConceptScore W2004373311C191252586 @default.
• W2004373311 hasConceptScore W2004373311C23123167 @default.
• W2004373311 hasConceptScore W2004373311C2778067643 @default.
• W2004373311 hasConceptScore W2004373311C29074008 @default.
• W2004373311 hasConceptScore W2004373311C33923547 @default.
• W2004373311 hasConceptScore W2004373311C34388435 @default.
• W2004373311 hasConceptScore W2004373311C41008148 @default.
• W2004373311 hasConceptScore W2004373311C65620979 @default.
• W2004373311 hasConceptScore W2004373311C72434380 @default.
• W2004373311 hasConceptScore W2004373311C80444323 @default.
• W2004373311 hasLocation W20043733111 @default.
• W2004373311 hasOpenAccess W2004373311 @default.
• W2004373311 hasPrimaryLocation W20043733111 @default.
• W2004373311 hasRelatedWork W1522694098 @default.
• W2004373311 hasRelatedWork W1536813105 @default.
• W2004373311 hasRelatedWork W1537946603 @default.
• W2004373311 hasRelatedWork W1542641677 @default.
• W2004373311 hasRelatedWork W1547304883 @default.
• W2004373311 hasRelatedWork W1568322431 @default.
• W2004373311 hasRelatedWork W1576278728 @default.
• W2004373311 hasRelatedWork W1582385421 @default.
• W2004373311 hasRelatedWork W1606189410 @default.
• W2004373311 hasRelatedWork W2097451232 @default.
• W2004373311 hasRelatedWork W2104439088 @default.
• W2004373311 hasRelatedWork W2116358561 @default.
• W2004373311 hasRelatedWork W2134451579 @default.

• next