Matches in SemOpenAlex for { <https://semopenalex.org/work/W1638259088> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W1638259088 abstract "Within industry, the almost universally accepted method of validating a design against its requirement involves extrapolation from simulation of a (comparatively) small number of test cases to the behaviour of the complete circuit. That such an extrapolation is in general unjustifiable is widely accepted, but despite theorem provers’ ability to provide a mo^e robust link between specification and circuit design, very few industrial engineers are using theorem provers on a daily basis. This paper aims to consider some of the factors that may be preventing the wider application of proof methods. Specifically, RSRE has concentrated on two areas of research: the development of a largely automatic but functionally limited proof system, and more recently on a more general prover based on the concepts of a hardware description language. It is hoped to illustrate that these provers, being designed specifically for hardware design applications, may provide a more familiar environment for designers wishing to do proofs." @default.
- W1638259088 created "2016-06-24" @default.
- W1638259088 creator A5024376162 @default.
- W1638259088 date "1992-04-15" @default.
- W1638259088 modified "2023-09-27" @default.
- W1638259088 title "Will proof replace simulation?" @default.
- W1638259088 cites W1518675260 @default.
- W1638259088 cites W1525749267 @default.
- W1638259088 cites W18580878 @default.
- W1638259088 cites W2080267935 @default.
- W1638259088 cites W4249627601 @default.
- W1638259088 cites W596839748 @default.
- W1638259088 doi "https://doi.org/10.1098/rsta.1992.0023" @default.
- W1638259088 hasPublicationYear "1992" @default.
- W1638259088 type Work @default.
- W1638259088 sameAs 1638259088 @default.
- W1638259088 citedByCount "1" @default.
- W1638259088 crossrefType "journal-article" @default.
- W1638259088 hasAuthorship W1638259088A5024376162 @default.
- W1638259088 hasConcept C108710211 @default.
- W1638259088 hasConcept C113775141 @default.
- W1638259088 hasConcept C11413529 @default.
- W1638259088 hasConcept C132459708 @default.
- W1638259088 hasConcept C134306372 @default.
- W1638259088 hasConcept C159718280 @default.
- W1638259088 hasConcept C199360897 @default.
- W1638259088 hasConcept C206880738 @default.
- W1638259088 hasConcept C2524010 @default.
- W1638259088 hasConcept C33923547 @default.
- W1638259088 hasConcept C41008148 @default.
- W1638259088 hasConcept C80444323 @default.
- W1638259088 hasConceptScore W1638259088C108710211 @default.
- W1638259088 hasConceptScore W1638259088C113775141 @default.
- W1638259088 hasConceptScore W1638259088C11413529 @default.
- W1638259088 hasConceptScore W1638259088C132459708 @default.
- W1638259088 hasConceptScore W1638259088C134306372 @default.
- W1638259088 hasConceptScore W1638259088C159718280 @default.
- W1638259088 hasConceptScore W1638259088C199360897 @default.
- W1638259088 hasConceptScore W1638259088C206880738 @default.
- W1638259088 hasConceptScore W1638259088C2524010 @default.
- W1638259088 hasConceptScore W1638259088C33923547 @default.
- W1638259088 hasConceptScore W1638259088C41008148 @default.
- W1638259088 hasConceptScore W1638259088C80444323 @default.
- W1638259088 hasLocation W16382590881 @default.
- W1638259088 hasOpenAccess W1638259088 @default.
- W1638259088 hasPrimaryLocation W16382590881 @default.
- W1638259088 hasRelatedWork W1497881407 @default.
- W1638259088 hasRelatedWork W1564100227 @default.
- W1638259088 hasRelatedWork W1575088052 @default.
- W1638259088 hasRelatedWork W1586526992 @default.
- W1638259088 hasRelatedWork W1673640318 @default.
- W1638259088 hasRelatedWork W1819229510 @default.
- W1638259088 hasRelatedWork W2089346056 @default.
- W1638259088 hasRelatedWork W2112342905 @default.
- W1638259088 hasRelatedWork W2112449399 @default.
- W1638259088 hasRelatedWork W2122385105 @default.
- W1638259088 hasRelatedWork W2129574221 @default.
- W1638259088 hasRelatedWork W2140831003 @default.
- W1638259088 hasRelatedWork W2535114184 @default.
- W1638259088 hasRelatedWork W2541505470 @default.
- W1638259088 hasRelatedWork W2542210355 @default.
- W1638259088 hasRelatedWork W2544632017 @default.
- W1638259088 hasRelatedWork W2991464133 @default.
- W1638259088 hasRelatedWork W594780551 @default.
- W1638259088 hasRelatedWork W1789759779 @default.
- W1638259088 hasRelatedWork W1900552148 @default.
- W1638259088 isParatext "false" @default.
- W1638259088 isRetracted "false" @default.
- W1638259088 magId "1638259088" @default.
- W1638259088 workType "article" @default.