Matches in SemOpenAlex for { <https://semopenalex.org/work/W2186707156> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2186707156 abstract "thatabout50percent ofproduct defects originate inflawed Formal languages areincreasingly usedtodescribe thefunc- requirements andthataround80percent ofrework effort tional requirements (specifications) ofcircuits. Thesere- canbetraced backtorequirement defects [17]. quirements areusedasameanstocommunicate design in- Inthis paper, weaddress thecrucial problem ofsupporttentandasbasis forverification. Inbothsettings itisof ingthedesigner inwriting highquality (functional) requireutmostimportance thatthespecifications areofhighqual- mentsofcircuits. (Inthefollowing weuserequirements and ity.However, formal requirements areseldom theobject specification assynonyms.) Wenotethatsuchrequirements ofvalidation, eventhough theycanbehardtounderstandanalysis isnottheactivity ofproducing animplementation andinteractions between themcanbesubtle. Inthis paper satisfying given properties. Rather, thefocus isonenhancwepresent techniques andguidelines toexplore andassure ingthequality oftherequirements before thedesign phase. thequality ofaformal specification. Wedefine atechnique We assumethattherequirements areexpressed inafortointeractively explore thesemantics ofaspecification by mallanguage suchasPSL.Theuseofaformal language simulating itsbehavior foruser-defined scenarios. Further- isafirst andsubstantial steptowards highquality specifimore, wedefine techniques toautomatically check specifica- cations, asitmakessubtle questions explicit thatotherwise tions against asetofuser-provided assertions, whichmust might behidden intheambiguity ofnatural language. Howbesatisfied, andasetofpossibilities, whichmustnotbecon- ever, aformal notation isobviously notenough toensure the tradicted. Theproposed techniques support theuserinthe quality ofthespecification. Inthis paperwedescribe techiterative development andrefinement ofhigh-quality speci- niques, methodological guidelines, andatool, RAT,forthe fications. formal analysis offunctional requirements. Ourapproach drawsfromtwocomplementary techniques: property simuCategories andSubjectDescriptors: lto n rpryasrne B-7.2 Hardware: DesignAids ~~~lation andproperty assurance. Property simulation allows thedesigner tointeractively General Terms:Design, Verification. explore thebehaviors associated withtherequirements: We" @default.
- W2186707156 created "2016-06-24" @default.
- W2186707156 creator A5017426974 @default.
- W2186707156 creator A5019321185 @default.
- W2186707156 creator A5037671595 @default.
- W2186707156 creator A5053520475 @default.
- W2186707156 creator A5053862435 @default.
- W2186707156 date "2006-01-01" @default.
- W2186707156 modified "2023-09-27" @default.
- W2186707156 title "Formal Analysis ofHardware Requirements" @default.
- W2186707156 hasPublicationYear "2006" @default.
- W2186707156 type Work @default.
- W2186707156 sameAs 2186707156 @default.
- W2186707156 citedByCount "0" @default.
- W2186707156 crossrefType "journal-article" @default.
- W2186707156 hasAuthorship W2186707156A5017426974 @default.
- W2186707156 hasAuthorship W2186707156A5019321185 @default.
- W2186707156 hasAuthorship W2186707156A5037671595 @default.
- W2186707156 hasAuthorship W2186707156A5053520475 @default.
- W2186707156 hasAuthorship W2186707156A5053862435 @default.
- W2186707156 hasConcept C102780508 @default.
- W2186707156 hasConcept C111472728 @default.
- W2186707156 hasConcept C115903868 @default.
- W2186707156 hasConcept C116253237 @default.
- W2186707156 hasConcept C138885662 @default.
- W2186707156 hasConcept C189950617 @default.
- W2186707156 hasConcept C199360897 @default.
- W2186707156 hasConcept C201677973 @default.
- W2186707156 hasConcept C2777904410 @default.
- W2186707156 hasConcept C2779530757 @default.
- W2186707156 hasConcept C33923547 @default.
- W2186707156 hasConcept C41008148 @default.
- W2186707156 hasConcept C45357846 @default.
- W2186707156 hasConcept C52913732 @default.
- W2186707156 hasConcept C529173508 @default.
- W2186707156 hasConcept C59488412 @default.
- W2186707156 hasConcept C75606506 @default.
- W2186707156 hasConcept C84651959 @default.
- W2186707156 hasConcept C94375191 @default.
- W2186707156 hasConceptScore W2186707156C102780508 @default.
- W2186707156 hasConceptScore W2186707156C111472728 @default.
- W2186707156 hasConceptScore W2186707156C115903868 @default.
- W2186707156 hasConceptScore W2186707156C116253237 @default.
- W2186707156 hasConceptScore W2186707156C138885662 @default.
- W2186707156 hasConceptScore W2186707156C189950617 @default.
- W2186707156 hasConceptScore W2186707156C199360897 @default.
- W2186707156 hasConceptScore W2186707156C201677973 @default.
- W2186707156 hasConceptScore W2186707156C2777904410 @default.
- W2186707156 hasConceptScore W2186707156C2779530757 @default.
- W2186707156 hasConceptScore W2186707156C33923547 @default.
- W2186707156 hasConceptScore W2186707156C41008148 @default.
- W2186707156 hasConceptScore W2186707156C45357846 @default.
- W2186707156 hasConceptScore W2186707156C52913732 @default.
- W2186707156 hasConceptScore W2186707156C529173508 @default.
- W2186707156 hasConceptScore W2186707156C59488412 @default.
- W2186707156 hasConceptScore W2186707156C75606506 @default.
- W2186707156 hasConceptScore W2186707156C84651959 @default.
- W2186707156 hasConceptScore W2186707156C94375191 @default.
- W2186707156 hasLocation W21867071561 @default.
- W2186707156 hasOpenAccess W2186707156 @default.
- W2186707156 hasPrimaryLocation W21867071561 @default.
- W2186707156 hasRelatedWork W1528333202 @default.
- W2186707156 hasRelatedWork W1972306345 @default.
- W2186707156 hasRelatedWork W2096803479 @default.
- W2186707156 hasRelatedWork W2125373133 @default.
- W2186707156 hasRelatedWork W2187437362 @default.
- W2186707156 hasRelatedWork W2188370596 @default.
- W2186707156 hasRelatedWork W2182546528 @default.
- W2186707156 hasRelatedWork W2182597915 @default.
- W2186707156 hasRelatedWork W2182685560 @default.
- W2186707156 hasRelatedWork W270255970 @default.
- W2186707156 isParatext "false" @default.
- W2186707156 isRetracted "false" @default.
- W2186707156 magId "2186707156" @default.
- W2186707156 workType "article" @default.