Matches in SemOpenAlex for { <https://semopenalex.org/work/W4246168483> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W4246168483 abstract "This paper describes the theory and implementation of a novel system for hardware synthesis from requirement specifications expressed in a graphical specification language called Symbolic Timing Diagrams (STD). The system can be used together with an existing formal-verification environment for VHDL leading to a novel methodology based on the combination of synthesis and formal verification. We show the feasibility of the approach and experimental results obtained with the system on the well known example of an industrial production cell, where both FPGA and ASIC hardware implementations were successfully synthesized." @default.
- W4246168483 created "2022-05-12" @default.
- W4246168483 creator A5011240025 @default.
- W4246168483 creator A5024076810 @default.
- W4246168483 date "2002-12-24" @default.
- W4246168483 modified "2023-09-26" @default.
- W4246168483 title "Hardware synthesis from requirement specifications" @default.
- W4246168483 doi "https://doi.org/10.1109/eurdac.1996.558249" @default.
- W4246168483 hasPublicationYear "2002" @default.
- W4246168483 type Work @default.
- W4246168483 citedByCount "0" @default.
- W4246168483 crossrefType "proceedings-article" @default.
- W4246168483 hasAuthorship W4246168483A5011240025 @default.
- W4246168483 hasAuthorship W4246168483A5024076810 @default.
- W4246168483 hasConcept C111498074 @default.
- W4246168483 hasConcept C116253237 @default.
- W4246168483 hasConcept C118524514 @default.
- W4246168483 hasConcept C149635348 @default.
- W4246168483 hasConcept C199360897 @default.
- W4246168483 hasConcept C26713055 @default.
- W4246168483 hasConcept C36941000 @default.
- W4246168483 hasConcept C41008148 @default.
- W4246168483 hasConcept C42143788 @default.
- W4246168483 hasConcept C42935608 @default.
- W4246168483 hasConcept C58013763 @default.
- W4246168483 hasConcept C75606506 @default.
- W4246168483 hasConcept C77390884 @default.
- W4246168483 hasConceptScore W4246168483C111498074 @default.
- W4246168483 hasConceptScore W4246168483C116253237 @default.
- W4246168483 hasConceptScore W4246168483C118524514 @default.
- W4246168483 hasConceptScore W4246168483C149635348 @default.
- W4246168483 hasConceptScore W4246168483C199360897 @default.
- W4246168483 hasConceptScore W4246168483C26713055 @default.
- W4246168483 hasConceptScore W4246168483C36941000 @default.
- W4246168483 hasConceptScore W4246168483C41008148 @default.
- W4246168483 hasConceptScore W4246168483C42143788 @default.
- W4246168483 hasConceptScore W4246168483C42935608 @default.
- W4246168483 hasConceptScore W4246168483C58013763 @default.
- W4246168483 hasConceptScore W4246168483C75606506 @default.
- W4246168483 hasConceptScore W4246168483C77390884 @default.
- W4246168483 hasLocation W42461684831 @default.
- W4246168483 hasOpenAccess W4246168483 @default.
- W4246168483 hasPrimaryLocation W42461684831 @default.
- W4246168483 hasRelatedWork W1483834314 @default.
- W4246168483 hasRelatedWork W1771962873 @default.
- W4246168483 hasRelatedWork W1964602204 @default.
- W4246168483 hasRelatedWork W2002433278 @default.
- W4246168483 hasRelatedWork W2069212440 @default.
- W4246168483 hasRelatedWork W2107442073 @default.
- W4246168483 hasRelatedWork W2119469280 @default.
- W4246168483 hasRelatedWork W2271624625 @default.
- W4246168483 hasRelatedWork W4360994686 @default.
- W4246168483 hasRelatedWork W2131478423 @default.
- W4246168483 isParatext "false" @default.
- W4246168483 isRetracted "false" @default.
- W4246168483 workType "article" @default.