Matches in SemOpenAlex for { <https://semopenalex.org/work/W1570320801> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W1570320801 endingPage "44" @default.
- W1570320801 startingPage "39" @default.
- W1570320801 abstract "As digital designs grow evermore complex and design cycles become ever shorter, traditional informal methods of design verification are proving inadequate. Design teams are increasingly turning to formal techniques to address this “verification crunch”. The theorem prover, with its emphasis on establishing correctness, is arguably the dream design verification tool; however, theorem provers are rarely used in digital design. Much like automotive industry “concept cars”, theorem provers provide a compelling vision of the future, but in the real world of industrial design they have proven to be difficult to drive and expensive to maintain. We suggest ways that the theorem prover “concept cars” of today can be adapted to become the “off-road vehicles” necessary to negotiate the rough-and-tumble terrain of digital design in the 21st century.KeywordsTheorem ProverVerification ToolHardware Description LanguageDigital DesignDesign VerificationThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1570320801 created "2016-06-24" @default.
- W1570320801 creator A5035839485 @default.
- W1570320801 creator A5055632192 @default.
- W1570320801 creator A5067020197 @default.
- W1570320801 date "1998-01-01" @default.
- W1570320801 modified "2023-09-26" @default.
- W1570320801 title "Transforming the theorem prover into a digital design tool: From concept car to off-road vehicle" @default.
- W1570320801 cites W1496551897 @default.
- W1570320801 cites W1508472170 @default.
- W1570320801 cites W1583372371 @default.
- W1570320801 cites W1605668881 @default.
- W1570320801 cites W1965348053 @default.
- W1570320801 cites W2084715426 @default.
- W1570320801 cites W2099571283 @default.
- W1570320801 cites W2159152974 @default.
- W1570320801 doi "https://doi.org/10.1007/bfb0028729" @default.
- W1570320801 hasPublicationYear "1998" @default.
- W1570320801 type Work @default.
- W1570320801 sameAs 1570320801 @default.
- W1570320801 citedByCount "16" @default.
- W1570320801 crossrefType "book-chapter" @default.
- W1570320801 hasAuthorship W1570320801A5035839485 @default.
- W1570320801 hasAuthorship W1570320801A5055632192 @default.
- W1570320801 hasAuthorship W1570320801A5067020197 @default.
- W1570320801 hasBestOaLocation W15703208011 @default.
- W1570320801 hasConcept C111498074 @default.
- W1570320801 hasConcept C115903868 @default.
- W1570320801 hasConcept C127413603 @default.
- W1570320801 hasConcept C146978453 @default.
- W1570320801 hasConcept C199360897 @default.
- W1570320801 hasConcept C206880738 @default.
- W1570320801 hasConcept C41008148 @default.
- W1570320801 hasConcept C526921623 @default.
- W1570320801 hasConcept C55439883 @default.
- W1570320801 hasConceptScore W1570320801C111498074 @default.
- W1570320801 hasConceptScore W1570320801C115903868 @default.
- W1570320801 hasConceptScore W1570320801C127413603 @default.
- W1570320801 hasConceptScore W1570320801C146978453 @default.
- W1570320801 hasConceptScore W1570320801C199360897 @default.
- W1570320801 hasConceptScore W1570320801C206880738 @default.
- W1570320801 hasConceptScore W1570320801C41008148 @default.
- W1570320801 hasConceptScore W1570320801C526921623 @default.
- W1570320801 hasConceptScore W1570320801C55439883 @default.
- W1570320801 hasLocation W15703208011 @default.
- W1570320801 hasOpenAccess W1570320801 @default.
- W1570320801 hasPrimaryLocation W15703208011 @default.
- W1570320801 hasRelatedWork W1543208154 @default.
- W1570320801 hasRelatedWork W1614816533 @default.
- W1570320801 hasRelatedWork W1937494301 @default.
- W1570320801 hasRelatedWork W2001092196 @default.
- W1570320801 hasRelatedWork W2099925507 @default.
- W1570320801 hasRelatedWork W2143764361 @default.
- W1570320801 hasRelatedWork W2171429234 @default.
- W1570320801 hasRelatedWork W2477444687 @default.
- W1570320801 hasRelatedWork W2950845427 @default.
- W1570320801 hasRelatedWork W4299834033 @default.
- W1570320801 isParatext "false" @default.
- W1570320801 isRetracted "false" @default.
- W1570320801 magId "1570320801" @default.
- W1570320801 workType "book-chapter" @default.