Matches in SemOpenAlex for { <https://semopenalex.org/work/W2032087966> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2032087966 abstract "The pressing need for the verification of analog and mixed-signal (AMS) designs is driven by increased design complexity and the integration of such circuits into SoCs. However, verification of AMS circuits remains as a significant challenge. We propose a methodology that leverages SMT-based Satisfiability techniques to tackle the challenges arising from the inherent analog and/or hybrid natures of AMS systems. We demonstrate the feasibility and efficacy of the proposed methodology on conservative verification of dynamic properties of nonlinear AMS circuits." @default.
- W2032087966 created "2016-06-24" @default.
- W2032087966 creator A5022695612 @default.
- W2032087966 creator A5071458554 @default.
- W2032087966 creator A5080322652 @default.
- W2032087966 date "2012-11-05" @default.
- W2032087966 modified "2023-09-27" @default.
- W2032087966 title "Verifying dynamic properties of nonlinear mixed-signal circuits via efficient SMT-based techniques" @default.
- W2032087966 cites W1537946603 @default.
- W2032087966 cites W1994364444 @default.
- W2032087966 cites W2012097495 @default.
- W2032087966 cites W2019019572 @default.
- W2032087966 cites W2028924344 @default.
- W2032087966 cites W2053994043 @default.
- W2032087966 cites W2116358561 @default.
- W2032087966 cites W2124292368 @default.
- W2032087966 cites W2158533859 @default.
- W2032087966 cites W2169895193 @default.
- W2032087966 cites W4247690662 @default.
- W2032087966 doi "https://doi.org/10.1145/2429384.2429474" @default.
- W2032087966 hasPublicationYear "2012" @default.
- W2032087966 type Work @default.
- W2032087966 sameAs 2032087966 @default.
- W2032087966 citedByCount "14" @default.
- W2032087966 countsByYear W20320879662013 @default.
- W2032087966 countsByYear W20320879662014 @default.
- W2032087966 countsByYear W20320879662015 @default.
- W2032087966 countsByYear W20320879662016 @default.
- W2032087966 countsByYear W20320879662017 @default.
- W2032087966 countsByYear W20320879662019 @default.
- W2032087966 countsByYear W20320879662020 @default.
- W2032087966 crossrefType "proceedings-article" @default.
- W2032087966 hasAuthorship W2032087966A5022695612 @default.
- W2032087966 hasAuthorship W2032087966A5071458554 @default.
- W2032087966 hasAuthorship W2032087966A5080322652 @default.
- W2032087966 hasConcept C119599485 @default.
- W2032087966 hasConcept C121332964 @default.
- W2032087966 hasConcept C127413603 @default.
- W2032087966 hasConcept C134146338 @default.
- W2032087966 hasConcept C158622935 @default.
- W2032087966 hasConcept C199360897 @default.
- W2032087966 hasConcept C24326235 @default.
- W2032087966 hasConcept C2779843651 @default.
- W2032087966 hasConcept C41008148 @default.
- W2032087966 hasConcept C62520636 @default.
- W2032087966 hasConceptScore W2032087966C119599485 @default.
- W2032087966 hasConceptScore W2032087966C121332964 @default.
- W2032087966 hasConceptScore W2032087966C127413603 @default.
- W2032087966 hasConceptScore W2032087966C134146338 @default.
- W2032087966 hasConceptScore W2032087966C158622935 @default.
- W2032087966 hasConceptScore W2032087966C199360897 @default.
- W2032087966 hasConceptScore W2032087966C24326235 @default.
- W2032087966 hasConceptScore W2032087966C2779843651 @default.
- W2032087966 hasConceptScore W2032087966C41008148 @default.
- W2032087966 hasConceptScore W2032087966C62520636 @default.
- W2032087966 hasFunder F4320306076 @default.
- W2032087966 hasFunder F4320306087 @default.
- W2032087966 hasLocation W20320879661 @default.
- W2032087966 hasOpenAccess W2032087966 @default.
- W2032087966 hasPrimaryLocation W20320879661 @default.
- W2032087966 hasRelatedWork W1564602655 @default.
- W2032087966 hasRelatedWork W1978070295 @default.
- W2032087966 hasRelatedWork W1983575723 @default.
- W2032087966 hasRelatedWork W2084154859 @default.
- W2032087966 hasRelatedWork W2154892092 @default.
- W2032087966 hasRelatedWork W2164591582 @default.
- W2032087966 hasRelatedWork W2171007064 @default.
- W2032087966 hasRelatedWork W2476935717 @default.
- W2032087966 hasRelatedWork W3126492794 @default.
- W2032087966 hasRelatedWork W1752570298 @default.
- W2032087966 isParatext "false" @default.
- W2032087966 isRetracted "false" @default.
- W2032087966 magId "2032087966" @default.
- W2032087966 workType "article" @default.