Matches in SemOpenAlex for { <https://semopenalex.org/work/W7015221> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W7015221 endingPage "158" @default.
- W7015221 startingPage "147" @default.
- W7015221 abstract "The verification of analog designs is a challenging and exhaustive task that requires deep understanding of the physical behaviors. In this paper, we propose a qualitative based predicate abstraction method for the verification of a class of non-linear analog circuits. The method is based on combining techniques from constraint solving and computer algebra along with symbolic model checking. We have implemented the proposed verification algorithms using the computer algebra system Mathematica and the SMV model checker." @default.
- W7015221 created "2016-06-24" @default.
- W7015221 creator A5007159598 @default.
- W7015221 creator A5019163790 @default.
- W7015221 creator A5019358937 @default.
- W7015221 date "2007-01-01" @default.
- W7015221 modified "2023-10-01" @default.
- W7015221 title "Qualitative Abstraction based Verification for Analog Circuits." @default.
- W7015221 cites W1497571013 @default.
- W7015221 cites W1537946603 @default.
- W7015221 cites W1569146343 @default.
- W7015221 cites W1576278728 @default.
- W7015221 cites W1580809199 @default.
- W7015221 cites W1600235415 @default.
- W7015221 cites W1607353007 @default.
- W7015221 cites W1612551514 @default.
- W7015221 cites W1865218796 @default.
- W7015221 cites W2004373311 @default.
- W7015221 cites W2102696258 @default.
- W7015221 cites W2104439088 @default.
- W7015221 cites W2295903414 @default.
- W7015221 cites W2316720847 @default.
- W7015221 cites W2340735175 @default.
- W7015221 cites W2913459036 @default.
- W7015221 cites W77078696 @default.
- W7015221 hasPublicationYear "2007" @default.
- W7015221 type Work @default.
- W7015221 sameAs 7015221 @default.
- W7015221 citedByCount "1" @default.
- W7015221 crossrefType "journal-article" @default.
- W7015221 hasAuthorship W7015221A5007159598 @default.
- W7015221 hasAuthorship W7015221A5019163790 @default.
- W7015221 hasAuthorship W7015221A5019358937 @default.
- W7015221 hasConcept C110251889 @default.
- W7015221 hasConcept C111472728 @default.
- W7015221 hasConcept C111498074 @default.
- W7015221 hasConcept C124304363 @default.
- W7015221 hasConcept C138885662 @default.
- W7015221 hasConcept C154945302 @default.
- W7015221 hasConcept C199360897 @default.
- W7015221 hasConcept C23123167 @default.
- W7015221 hasConcept C2777212361 @default.
- W7015221 hasConcept C2779907942 @default.
- W7015221 hasConcept C30888246 @default.
- W7015221 hasConcept C41008148 @default.
- W7015221 hasConcept C80444323 @default.
- W7015221 hasConcept C96654402 @default.
- W7015221 hasConceptScore W7015221C110251889 @default.
- W7015221 hasConceptScore W7015221C111472728 @default.
- W7015221 hasConceptScore W7015221C111498074 @default.
- W7015221 hasConceptScore W7015221C124304363 @default.
- W7015221 hasConceptScore W7015221C138885662 @default.
- W7015221 hasConceptScore W7015221C154945302 @default.
- W7015221 hasConceptScore W7015221C199360897 @default.
- W7015221 hasConceptScore W7015221C23123167 @default.
- W7015221 hasConceptScore W7015221C2777212361 @default.
- W7015221 hasConceptScore W7015221C2779907942 @default.
- W7015221 hasConceptScore W7015221C30888246 @default.
- W7015221 hasConceptScore W7015221C41008148 @default.
- W7015221 hasConceptScore W7015221C80444323 @default.
- W7015221 hasConceptScore W7015221C96654402 @default.
- W7015221 hasLocation W70152211 @default.
- W7015221 hasOpenAccess W7015221 @default.
- W7015221 hasPrimaryLocation W70152211 @default.
- W7015221 hasRelatedWork W1489478894 @default.
- W7015221 hasRelatedWork W1489588785 @default.
- W7015221 hasRelatedWork W1498113537 @default.
- W7015221 hasRelatedWork W1542693296 @default.
- W7015221 hasRelatedWork W2072445059 @default.
- W7015221 hasRelatedWork W2094686007 @default.
- W7015221 hasRelatedWork W2104402078 @default.
- W7015221 hasRelatedWork W2109337044 @default.
- W7015221 hasRelatedWork W2112128273 @default.
- W7015221 hasRelatedWork W2144807261 @default.
- W7015221 hasRelatedWork W2150647866 @default.
- W7015221 hasRelatedWork W2167499546 @default.
- W7015221 hasRelatedWork W2278083245 @default.
- W7015221 hasRelatedWork W2290638032 @default.
- W7015221 hasRelatedWork W28839159 @default.
- W7015221 hasRelatedWork W3141700786 @default.
- W7015221 hasRelatedWork W3172631514 @default.
- W7015221 hasRelatedWork W63955974 @default.
- W7015221 hasRelatedWork W79857529 @default.
- W7015221 hasRelatedWork W2155347706 @default.
- W7015221 isParatext "false" @default.
- W7015221 isRetracted "false" @default.
- W7015221 magId "7015221" @default.
- W7015221 workType "article" @default.