FRINK Linked Data Fragments server

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

• W2144275718 endingPage "254" @default.
• W2144275718 startingPage "249" @default.
• W2144275718 abstract "The paper proposed a new symbolic verification methodology for proving the properties of analog and mixed signal (AMS) designs. Starting with an AMS description and a set of properties and using symbolic computation, a normal mathematical representation was extracted for the system in terms of recurrence equations. These normalized equations are used along with an induction verification strategy defined inside the computer algebra system Mathematica to prove the correctness of the properties. The methodology was applied on a third order DeltaSigma modulator" @default.
• W2144275718 created "2016-06-24" @default.
• W2144275718 creator A5007159598 @default.
• W2144275718 creator A5019358937 @default.
• W2144275718 creator A5046615729 @default.
• W2144275718 date "2007-04-16" @default.
• W2144275718 modified "2023-10-01" @default.
• W2144275718 title "A symbolic methodology for the verification of analog and mixed signal designs" @default.
• W2144275718 cites W1537946603 @default.
• W2144275718 cites W1576278728 @default.
• W2144275718 cites W1606189410 @default.
• W2144275718 cites W1612551514 @default.
• W2144275718 cites W1878995569 @default.
• W2144275718 cites W2018615018 @default.
• W2144275718 cites W2098930728 @default.
• W2144275718 cites W2104439088 @default.
• W2144275718 cites W2106026059 @default.
• W2144275718 cites W2137339287 @default.
• W2144275718 cites W2141776905 @default.
• W2144275718 cites W2142091551 @default.
• W2144275718 cites W2158114636 @default.
• W2144275718 cites W2683349557 @default.
• W2144275718 cites W2982723241 @default.
• W2144275718 cites W77078696 @default.
• W2144275718 cites W2031349906 @default.
• W2144275718 doi "https://doi.org/10.5555/1266366.1266420" @default.
• W2144275718 hasPublicationYear "2007" @default.
• W2144275718 type Work @default.
• W2144275718 sameAs 2144275718 @default.
• W2144275718 citedByCount "19" @default.
• W2144275718 countsByYear W21442757182012 @default.
• W2144275718 countsByYear W21442757182014 @default.
• W2144275718 countsByYear W21442757182015 @default.
• W2144275718 countsByYear W21442757182016 @default.
• W2144275718 countsByYear W21442757182018 @default.
• W2144275718 crossrefType "proceedings-article" @default.
• W2144275718 hasAuthorship W2144275718A5007159598 @default.
• W2144275718 hasAuthorship W2144275718A5019358937 @default.
• W2144275718 hasAuthorship W2144275718A5046615729 @default.
• W2144275718 hasConcept C110251889 @default.
• W2144275718 hasConcept C110812573 @default.
• W2144275718 hasConcept C111919701 @default.
• W2144275718 hasConcept C11413529 @default.
• W2144275718 hasConcept C134306372 @default.
• W2144275718 hasConcept C136119220 @default.
• W2144275718 hasConcept C177264268 @default.
• W2144275718 hasConcept C17744445 @default.
• W2144275718 hasConcept C199360897 @default.
• W2144275718 hasConcept C199539241 @default.
• W2144275718 hasConcept C202444582 @default.
• W2144275718 hasConcept C23123167 @default.
• W2144275718 hasConcept C2776359362 @default.
• W2144275718 hasConcept C2779843651 @default.
• W2144275718 hasConcept C33923547 @default.
• W2144275718 hasConcept C41008148 @default.
• W2144275718 hasConcept C45374587 @default.
• W2144275718 hasConcept C530198007 @default.
• W2144275718 hasConcept C55439883 @default.
• W2144275718 hasConcept C62907940 @default.
• W2144275718 hasConcept C65620979 @default.
• W2144275718 hasConcept C80444323 @default.
• W2144275718 hasConcept C94625758 @default.
• W2144275718 hasConceptScore W2144275718C110251889 @default.
• W2144275718 hasConceptScore W2144275718C110812573 @default.
• W2144275718 hasConceptScore W2144275718C111919701 @default.
• W2144275718 hasConceptScore W2144275718C11413529 @default.
• W2144275718 hasConceptScore W2144275718C134306372 @default.
• W2144275718 hasConceptScore W2144275718C136119220 @default.
• W2144275718 hasConceptScore W2144275718C177264268 @default.
• W2144275718 hasConceptScore W2144275718C17744445 @default.
• W2144275718 hasConceptScore W2144275718C199360897 @default.
• W2144275718 hasConceptScore W2144275718C199539241 @default.
• W2144275718 hasConceptScore W2144275718C202444582 @default.
• W2144275718 hasConceptScore W2144275718C23123167 @default.
• W2144275718 hasConceptScore W2144275718C2776359362 @default.
• W2144275718 hasConceptScore W2144275718C2779843651 @default.
• W2144275718 hasConceptScore W2144275718C33923547 @default.
• W2144275718 hasConceptScore W2144275718C41008148 @default.
• W2144275718 hasConceptScore W2144275718C45374587 @default.
• W2144275718 hasConceptScore W2144275718C530198007 @default.
• W2144275718 hasConceptScore W2144275718C55439883 @default.
• W2144275718 hasConceptScore W2144275718C62907940 @default.
• W2144275718 hasConceptScore W2144275718C65620979 @default.
• W2144275718 hasConceptScore W2144275718C80444323 @default.
• W2144275718 hasConceptScore W2144275718C94625758 @default.
• W2144275718 hasLocation W21442757181 @default.
• W2144275718 hasOpenAccess W2144275718 @default.
• W2144275718 hasPrimaryLocation W21442757181 @default.
• W2144275718 hasRelatedWork W1522694098 @default.
• W2144275718 hasRelatedWork W1522828591 @default.
• W2144275718 hasRelatedWork W1537946603 @default.
• W2144275718 hasRelatedWork W1547304883 @default.
• W2144275718 hasRelatedWork W1568322431 @default.
• W2144275718 hasRelatedWork W1576278728 @default.
• W2144275718 hasRelatedWork W1606189410 @default.
• W2144275718 hasRelatedWork W2004373311 @default.
• W2144275718 hasRelatedWork W2097451232 @default.
• W2144275718 hasRelatedWork W2104439088 @default.

• next