Matches in SemOpenAlex for { <https://semopenalex.org/work/W2102894920> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2102894920 abstract "The growing demands for assurance of properties like correctness, safety, and security have led to the development of design methods using mathematical logic. These methods have broad application to hardware, software, and system design. Design based on mathematical logic offers the capability to relate structural descriptions with behavioral descriptions and properties. The challenge is to move these methods into mainstream engineering. This requires teaching mathematical logic in engineering courses which are directly applicable to engineering design. This paper describes how formal logic is included in the computer engineering curriculum at Syracuse University, our experience teaching formal logic to engineers, and how VLSI circuits have been fabricated by students using a formal development process." @default.
- W2102894920 created "2016-06-24" @default.
- W2102894920 creator A5075957718 @default.
- W2102894920 date "2002-11-22" @default.
- W2102894920 modified "2023-09-25" @default.
- W2102894920 title "Experience extending VLSI design with mathematical logic" @default.
- W2102894920 cites W1565996669 @default.
- W2102894920 cites W2121509482 @default.
- W2102894920 cites W2985395454 @default.
- W2102894920 doi "https://doi.org/10.1109/mse.1997.612526" @default.
- W2102894920 hasPublicationYear "2002" @default.
- W2102894920 type Work @default.
- W2102894920 sameAs 2102894920 @default.
- W2102894920 citedByCount "0" @default.
- W2102894920 crossrefType "proceedings-article" @default.
- W2102894920 hasAuthorship W2102894920A5075957718 @default.
- W2102894920 hasConcept C102993220 @default.
- W2102894920 hasConcept C113775141 @default.
- W2102894920 hasConcept C11413529 @default.
- W2102894920 hasConcept C115903868 @default.
- W2102894920 hasConcept C118524514 @default.
- W2102894920 hasConcept C124047733 @default.
- W2102894920 hasConcept C131017901 @default.
- W2102894920 hasConcept C138885662 @default.
- W2102894920 hasConcept C14580979 @default.
- W2102894920 hasConcept C149635348 @default.
- W2102894920 hasConcept C157922185 @default.
- W2102894920 hasConcept C199360897 @default.
- W2102894920 hasConcept C27206212 @default.
- W2102894920 hasConcept C2777617010 @default.
- W2102894920 hasConcept C41008148 @default.
- W2102894920 hasConcept C55439883 @default.
- W2102894920 hasConcept C75606506 @default.
- W2102894920 hasConcept C98045186 @default.
- W2102894920 hasConceptScore W2102894920C102993220 @default.
- W2102894920 hasConceptScore W2102894920C113775141 @default.
- W2102894920 hasConceptScore W2102894920C11413529 @default.
- W2102894920 hasConceptScore W2102894920C115903868 @default.
- W2102894920 hasConceptScore W2102894920C118524514 @default.
- W2102894920 hasConceptScore W2102894920C124047733 @default.
- W2102894920 hasConceptScore W2102894920C131017901 @default.
- W2102894920 hasConceptScore W2102894920C138885662 @default.
- W2102894920 hasConceptScore W2102894920C14580979 @default.
- W2102894920 hasConceptScore W2102894920C149635348 @default.
- W2102894920 hasConceptScore W2102894920C157922185 @default.
- W2102894920 hasConceptScore W2102894920C199360897 @default.
- W2102894920 hasConceptScore W2102894920C27206212 @default.
- W2102894920 hasConceptScore W2102894920C2777617010 @default.
- W2102894920 hasConceptScore W2102894920C41008148 @default.
- W2102894920 hasConceptScore W2102894920C55439883 @default.
- W2102894920 hasConceptScore W2102894920C75606506 @default.
- W2102894920 hasConceptScore W2102894920C98045186 @default.
- W2102894920 hasLocation W21028949201 @default.
- W2102894920 hasOpenAccess W2102894920 @default.
- W2102894920 hasPrimaryLocation W21028949201 @default.
- W2102894920 hasRelatedWork W1570730874 @default.
- W2102894920 hasRelatedWork W1586402599 @default.
- W2102894920 hasRelatedWork W189984122 @default.
- W2102894920 hasRelatedWork W1978830703 @default.
- W2102894920 hasRelatedWork W2006719707 @default.
- W2102894920 hasRelatedWork W2029735324 @default.
- W2102894920 hasRelatedWork W2029916316 @default.
- W2102894920 hasRelatedWork W2036034087 @default.
- W2102894920 hasRelatedWork W2081380714 @default.
- W2102894920 hasRelatedWork W2092022398 @default.
- W2102894920 hasRelatedWork W2110666846 @default.
- W2102894920 hasRelatedWork W2129312184 @default.
- W2102894920 hasRelatedWork W2132815515 @default.
- W2102894920 hasRelatedWork W2138010684 @default.
- W2102894920 hasRelatedWork W2159441762 @default.
- W2102894920 hasRelatedWork W2313636104 @default.
- W2102894920 hasRelatedWork W2325779777 @default.
- W2102894920 hasRelatedWork W2536815185 @default.
- W2102894920 hasRelatedWork W2987220965 @default.
- W2102894920 hasRelatedWork W242293804 @default.
- W2102894920 isParatext "false" @default.
- W2102894920 isRetracted "false" @default.
- W2102894920 magId "2102894920" @default.
- W2102894920 workType "article" @default.