Matches in SemOpenAlex for { <https://semopenalex.org/work/W9125573> ?p ?o ?g. }
Showing items 1 to 48 of
48
with 100 items per page.
- W9125573 abstract "The authors describe a formal verification environment for proving the equivalence of two VHDL architectures of the same design entity, provided the designer conforms to some restrictions in the description style. For simple bit-level combinational descriptions, the environment calls upon a tautology checker. For parameterized repetitive structures, and designs described at a more abstract level, the descriptions are translated into recursive functions, according to pre-defined templates, and a theorem is generated in a form acceptable by the Boyer-Moore theorem prover. For well identified classes of circuits, the proof is fully automatic." @default.
- W9125573 created "2016-06-24" @default.
- W9125573 creator A5005395622 @default.
- W9125573 creator A5045345296 @default.
- W9125573 creator A5063371658 @default.
- W9125573 date "1992-01-01" @default.
- W9125573 modified "2023-09-24" @default.
- W9125573 title "PREVAIL: a proof environment for VHDL descriptions" @default.
- W9125573 hasPublicationYear "1992" @default.
- W9125573 type Work @default.
- W9125573 sameAs 9125573 @default.
- W9125573 citedByCount "3" @default.
- W9125573 crossrefType "proceedings-article" @default.
- W9125573 hasAuthorship W9125573A5005395622 @default.
- W9125573 hasAuthorship W9125573A5045345296 @default.
- W9125573 hasAuthorship W9125573A5063371658 @default.
- W9125573 hasConcept C111919701 @default.
- W9125573 hasConcept C124978682 @default.
- W9125573 hasConcept C149635348 @default.
- W9125573 hasConcept C199360897 @default.
- W9125573 hasConcept C36941000 @default.
- W9125573 hasConcept C41008148 @default.
- W9125573 hasConcept C42935608 @default.
- W9125573 hasConceptScore W9125573C111919701 @default.
- W9125573 hasConceptScore W9125573C124978682 @default.
- W9125573 hasConceptScore W9125573C149635348 @default.
- W9125573 hasConceptScore W9125573C199360897 @default.
- W9125573 hasConceptScore W9125573C36941000 @default.
- W9125573 hasConceptScore W9125573C41008148 @default.
- W9125573 hasConceptScore W9125573C42935608 @default.
- W9125573 hasLocation W91255731 @default.
- W9125573 hasLocation W91255732 @default.
- W9125573 hasOpenAccess W9125573 @default.
- W9125573 hasPrimaryLocation W91255731 @default.
- W9125573 hasRelatedWork W1527862632 @default.
- W9125573 hasRelatedWork W1590734823 @default.
- W9125573 hasRelatedWork W2016389538 @default.
- W9125573 hasRelatedWork W2080682474 @default.
- W9125573 hasRelatedWork W2109507516 @default.
- W9125573 hasRelatedWork W2112962394 @default.
- W9125573 hasRelatedWork W2118300983 @default.
- W9125573 hasRelatedWork W2166247150 @default.
- W9125573 hasRelatedWork W2370681738 @default.
- W9125573 hasRelatedWork W4243252198 @default.
- W9125573 isParatext "false" @default.
- W9125573 isRetracted "false" @default.
- W9125573 magId "9125573" @default.
- W9125573 workType "article" @default.