Matches in SemOpenAlex for { <https://semopenalex.org/work/W1931746150> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W1931746150 abstract "The paper deals with a declarative interface for VHDL in general and the use of such an interface for OBDD based verification of VHDL gate level designs in particular. It presents a solution that enables OBDD verification without external manipulation of the netlist which is well integrated into the standard VHDL environment. The information required for OBDD based VHDL verification, existing and possible future VHDL uses and some advantages of a general declarative interface are illustrated. First experiments with such an interface revealed the advantages of in-place OBDD extraction and helped identify good candidates for VHDL extensions." @default.
- W1931746150 created "2016-06-24" @default.
- W1931746150 creator A5074189357 @default.
- W1931746150 creator A5084793331 @default.
- W1931746150 date "2003-01-20" @default.
- W1931746150 modified "2023-09-23" @default.
- W1931746150 title "OBDD extraction from VHDL gate level descriptions at design elaboration" @default.
- W1931746150 cites W1546930003 @default.
- W1931746150 cites W2030224590 @default.
- W1931746150 cites W2096076317 @default.
- W1931746150 doi "https://doi.org/10.1109/viuf.1999.801974" @default.
- W1931746150 hasPublicationYear "2003" @default.
- W1931746150 type Work @default.
- W1931746150 sameAs 1931746150 @default.
- W1931746150 citedByCount "4" @default.
- W1931746150 countsByYear W19317461502017 @default.
- W1931746150 crossrefType "proceedings-article" @default.
- W1931746150 hasAuthorship W1931746150A5074189357 @default.
- W1931746150 hasAuthorship W1931746150A5084793331 @default.
- W1931746150 hasConcept C113843644 @default.
- W1931746150 hasConcept C129307140 @default.
- W1931746150 hasConcept C149635348 @default.
- W1931746150 hasConcept C157915830 @default.
- W1931746150 hasConcept C173608175 @default.
- W1931746150 hasConcept C177650935 @default.
- W1931746150 hasConcept C199360897 @default.
- W1931746150 hasConcept C36941000 @default.
- W1931746150 hasConcept C41008148 @default.
- W1931746150 hasConcept C42143788 @default.
- W1931746150 hasConcept C42935608 @default.
- W1931746150 hasConcept C80444323 @default.
- W1931746150 hasConceptScore W1931746150C113843644 @default.
- W1931746150 hasConceptScore W1931746150C129307140 @default.
- W1931746150 hasConceptScore W1931746150C149635348 @default.
- W1931746150 hasConceptScore W1931746150C157915830 @default.
- W1931746150 hasConceptScore W1931746150C173608175 @default.
- W1931746150 hasConceptScore W1931746150C177650935 @default.
- W1931746150 hasConceptScore W1931746150C199360897 @default.
- W1931746150 hasConceptScore W1931746150C36941000 @default.
- W1931746150 hasConceptScore W1931746150C41008148 @default.
- W1931746150 hasConceptScore W1931746150C42143788 @default.
- W1931746150 hasConceptScore W1931746150C42935608 @default.
- W1931746150 hasConceptScore W1931746150C80444323 @default.
- W1931746150 hasLocation W19317461501 @default.
- W1931746150 hasOpenAccess W1931746150 @default.
- W1931746150 hasPrimaryLocation W19317461501 @default.
- W1931746150 hasRelatedWork W1131705855 @default.
- W1931746150 hasRelatedWork W1483834314 @default.
- W1931746150 hasRelatedWork W1489234426 @default.
- W1931746150 hasRelatedWork W1492116303 @default.
- W1931746150 hasRelatedWork W1494496954 @default.
- W1931746150 hasRelatedWork W1500868994 @default.
- W1931746150 hasRelatedWork W1780483159 @default.
- W1931746150 hasRelatedWork W1820377058 @default.
- W1931746150 hasRelatedWork W1831330906 @default.
- W1931746150 hasRelatedWork W2011997324 @default.
- W1931746150 hasRelatedWork W2044688971 @default.
- W1931746150 hasRelatedWork W2079896081 @default.
- W1931746150 hasRelatedWork W2144353363 @default.
- W1931746150 hasRelatedWork W2155868825 @default.
- W1931746150 hasRelatedWork W2185495321 @default.
- W1931746150 hasRelatedWork W2361584109 @default.
- W1931746150 hasRelatedWork W25410094 @default.
- W1931746150 hasRelatedWork W2586950573 @default.
- W1931746150 hasRelatedWork W34675824 @default.
- W1931746150 hasRelatedWork W2105968271 @default.
- W1931746150 isParatext "false" @default.
- W1931746150 isRetracted "false" @default.
- W1931746150 magId "1931746150" @default.
- W1931746150 workType "article" @default.