Matches in SemOpenAlex for { <https://semopenalex.org/work/W2102591126> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2102591126 endingPage "1015" @default.
- W2102591126 startingPage "1005" @default.
- W2102591126 abstract "Symbolic simulation has been proposed as a way to formally verify the correct operation of an MOS circuit. By allowing nonground expressions as values, a symbolic simulator avoids the complexity of exhaustive simulation. The symbolic expressions chosen for initializing the state- and input-variables must cover all valid test cases while avoiding those that violate circuit constraints. In this paper, we present a new approach to symbolic simulation-based verification that hinges on the use of parametric forms of Boolean expressions. A parametric form of a Boolean expression E is an equivalent expression in which the variables in E are expressed in terms of expressions over new variables called parametric variables. In our approach, Boolean expressions representing the operating constraints on the circuit node values are first converted into the parametric form, and the resulting parametric expressions are used as initial (symbolic) node values prior to each simulation step. In addition to the proposal to use the parametric form, we make the following additional contributions. We present a new method for generating the parametric form of a Boolean expression that exploits (among other things) the structural recursion involved in defining commonly used arithmetic/relational operators. Our method generates parametric forms that are more compact, as well as more balanced in terms of term-sizes than generated by the following existing methods: Boole's, Lowenheim's, and the generalized cofactor method. We have also developed a variety of example-specific techniques to deal with circuit constraints. All algorithms discussed in this paper have been implemented in a verification prototype system. Experimental results obtained using the COSMOS symbolic simulator are also reported.< <ETX xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>></ETX>" @default.
- W2102591126 created "2016-06-24" @default.
- W2102591126 creator A5017064705 @default.
- W2102591126 creator A5069846379 @default.
- W2102591126 date "1994-01-01" @default.
- W2102591126 modified "2023-09-24" @default.
- W2102591126 title "Efficient symbolic simulation-based verification using the parametric form of Boolean expressions" @default.
- W2102591126 cites W11004299 @default.
- W2102591126 cites W1482037584 @default.
- W2102591126 cites W1531243865 @default.
- W2102591126 cites W1677758618 @default.
- W2102591126 cites W17786439 @default.
- W2102591126 cites W1966842980 @default.
- W2102591126 cites W1976030655 @default.
- W2102591126 cites W1986473353 @default.
- W2102591126 cites W1986585422 @default.
- W2102591126 cites W2000040332 @default.
- W2102591126 cites W2022032633 @default.
- W2102591126 cites W2030224590 @default.
- W2102591126 cites W2036800932 @default.
- W2102591126 cites W2047526670 @default.
- W2102591126 cites W2095735530 @default.
- W2102591126 cites W2105634893 @default.
- W2102591126 cites W2136724706 @default.
- W2102591126 cites W2137557050 @default.
- W2102591126 cites W2144928994 @default.
- W2102591126 cites W2145785237 @default.
- W2102591126 cites W3149435168 @default.
- W2102591126 cites W4248793972 @default.
- W2102591126 cites W4255413535 @default.
- W2102591126 doi "https://doi.org/10.1109/43.298036" @default.
- W2102591126 hasPublicationYear "1994" @default.
- W2102591126 type Work @default.
- W2102591126 sameAs 2102591126 @default.
- W2102591126 citedByCount "34" @default.
- W2102591126 countsByYear W21025911262014 @default.
- W2102591126 countsByYear W21025911262015 @default.
- W2102591126 countsByYear W21025911262017 @default.
- W2102591126 countsByYear W21025911262018 @default.
- W2102591126 crossrefType "journal-article" @default.
- W2102591126 hasAuthorship W2102591126A5017064705 @default.
- W2102591126 hasAuthorship W2102591126A5069846379 @default.
- W2102591126 hasConcept C105795698 @default.
- W2102591126 hasConcept C11413529 @default.
- W2102591126 hasConcept C114466953 @default.
- W2102591126 hasConcept C117251300 @default.
- W2102591126 hasConcept C127413603 @default.
- W2102591126 hasConcept C158465420 @default.
- W2102591126 hasConcept C168773036 @default.
- W2102591126 hasConcept C187455244 @default.
- W2102591126 hasConcept C199360897 @default.
- W2102591126 hasConcept C33923547 @default.
- W2102591126 hasConcept C41008148 @default.
- W2102591126 hasConcept C62611344 @default.
- W2102591126 hasConcept C66938386 @default.
- W2102591126 hasConcept C80444323 @default.
- W2102591126 hasConcept C90559484 @default.
- W2102591126 hasConceptScore W2102591126C105795698 @default.
- W2102591126 hasConceptScore W2102591126C11413529 @default.
- W2102591126 hasConceptScore W2102591126C114466953 @default.
- W2102591126 hasConceptScore W2102591126C117251300 @default.
- W2102591126 hasConceptScore W2102591126C127413603 @default.
- W2102591126 hasConceptScore W2102591126C158465420 @default.
- W2102591126 hasConceptScore W2102591126C168773036 @default.
- W2102591126 hasConceptScore W2102591126C187455244 @default.
- W2102591126 hasConceptScore W2102591126C199360897 @default.
- W2102591126 hasConceptScore W2102591126C33923547 @default.
- W2102591126 hasConceptScore W2102591126C41008148 @default.
- W2102591126 hasConceptScore W2102591126C62611344 @default.
- W2102591126 hasConceptScore W2102591126C66938386 @default.
- W2102591126 hasConceptScore W2102591126C80444323 @default.
- W2102591126 hasConceptScore W2102591126C90559484 @default.
- W2102591126 hasIssue "8" @default.
- W2102591126 hasLocation W21025911261 @default.
- W2102591126 hasOpenAccess W2102591126 @default.
- W2102591126 hasPrimaryLocation W21025911261 @default.
- W2102591126 hasRelatedWork W2010346327 @default.
- W2102591126 hasRelatedWork W202324359 @default.
- W2102591126 hasRelatedWork W2133072013 @default.
- W2102591126 hasRelatedWork W2142114659 @default.
- W2102591126 hasRelatedWork W2165320036 @default.
- W2102591126 hasRelatedWork W2905603442 @default.
- W2102591126 hasRelatedWork W3195139395 @default.
- W2102591126 hasRelatedWork W3234273 @default.
- W2102591126 hasRelatedWork W4385381462 @default.
- W2102591126 hasRelatedWork W579428358 @default.
- W2102591126 hasVolume "13" @default.
- W2102591126 isParatext "false" @default.
- W2102591126 isRetracted "false" @default.
- W2102591126 magId "2102591126" @default.
- W2102591126 workType "article" @default.