Matches in SemOpenAlex for { <https://semopenalex.org/work/W1520747491> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W1520747491 abstract "This paper explores the practicality of describing and verifying both the hardware and software components of System-on-Chip (SOC) architectures using Esterel. We describe experiments to design and build working hardware based around IBM’s CoreConnectTM Intellectual Property (IP) bus. The flow we analyse has been used to produce working hardware realized on Xilinx’s FPGAs with soft 32-bit processors. Interesting properties about these systems have been proved by static analysis based on model checking." @default.
- W1520747491 created "2016-06-24" @default.
- W1520747491 creator A5045912471 @default.
- W1520747491 date "2003-01-01" @default.
- W1520747491 modified "2023-09-24" @default.
- W1520747491 title "Design and Verification of CoreConnectTM IP Using Esterel" @default.
- W1520747491 cites W2112934124 @default.
- W1520747491 cites W2141725526 @default.
- W1520747491 cites W4251457929 @default.
- W1520747491 doi "https://doi.org/10.1007/978-3-540-39724-3_26" @default.
- W1520747491 hasPublicationYear "2003" @default.
- W1520747491 type Work @default.
- W1520747491 sameAs 1520747491 @default.
- W1520747491 citedByCount "2" @default.
- W1520747491 crossrefType "book-chapter" @default.
- W1520747491 hasAuthorship W1520747491A5045912471 @default.
- W1520747491 hasBestOaLocation W15207474911 @default.
- W1520747491 hasConcept C118021083 @default.
- W1520747491 hasConcept C118524514 @default.
- W1520747491 hasConcept C149635348 @default.
- W1520747491 hasConcept C171250308 @default.
- W1520747491 hasConcept C192562407 @default.
- W1520747491 hasConcept C199360897 @default.
- W1520747491 hasConcept C2777904410 @default.
- W1520747491 hasConcept C37135326 @default.
- W1520747491 hasConcept C41008148 @default.
- W1520747491 hasConcept C42935608 @default.
- W1520747491 hasConcept C70388272 @default.
- W1520747491 hasConcept C9390403 @default.
- W1520747491 hasConceptScore W1520747491C118021083 @default.
- W1520747491 hasConceptScore W1520747491C118524514 @default.
- W1520747491 hasConceptScore W1520747491C149635348 @default.
- W1520747491 hasConceptScore W1520747491C171250308 @default.
- W1520747491 hasConceptScore W1520747491C192562407 @default.
- W1520747491 hasConceptScore W1520747491C199360897 @default.
- W1520747491 hasConceptScore W1520747491C2777904410 @default.
- W1520747491 hasConceptScore W1520747491C37135326 @default.
- W1520747491 hasConceptScore W1520747491C41008148 @default.
- W1520747491 hasConceptScore W1520747491C42935608 @default.
- W1520747491 hasConceptScore W1520747491C70388272 @default.
- W1520747491 hasConceptScore W1520747491C9390403 @default.
- W1520747491 hasLocation W15207474911 @default.
- W1520747491 hasOpenAccess W1520747491 @default.
- W1520747491 hasPrimaryLocation W15207474911 @default.
- W1520747491 hasRelatedWork W144551325 @default.
- W1520747491 hasRelatedWork W1523478698 @default.
- W1520747491 hasRelatedWork W1533288443 @default.
- W1520747491 hasRelatedWork W1536409850 @default.
- W1520747491 hasRelatedWork W1554562796 @default.
- W1520747491 hasRelatedWork W1591897221 @default.
- W1520747491 hasRelatedWork W1595810432 @default.
- W1520747491 hasRelatedWork W1804171093 @default.
- W1520747491 hasRelatedWork W2108930304 @default.
- W1520747491 hasRelatedWork W2115240397 @default.
- W1520747491 hasRelatedWork W2117958841 @default.
- W1520747491 hasRelatedWork W2119463768 @default.
- W1520747491 hasRelatedWork W2121243734 @default.
- W1520747491 hasRelatedWork W2124012377 @default.
- W1520747491 hasRelatedWork W2138106527 @default.
- W1520747491 hasRelatedWork W2138324004 @default.
- W1520747491 hasRelatedWork W2156116570 @default.
- W1520747491 hasRelatedWork W2373681493 @default.
- W1520747491 hasRelatedWork W2542895659 @default.
- W1520747491 hasRelatedWork W76555569 @default.
- W1520747491 isParatext "false" @default.
- W1520747491 isRetracted "false" @default.
- W1520747491 magId "1520747491" @default.
- W1520747491 workType "book-chapter" @default.