Matches in SemOpenAlex for { <https://semopenalex.org/work/W52773374> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W52773374 abstract "We describe work completed on the specification and verification of the address interface of AMULET1, an industrial strength asynchronousmicroprocessor designed, fabricated and tested by Manchester University. AMULET1 is an asynchronous version of ARM, the best selling RISC chip in the 1980’s, and now a leading macro-cell. The address interface is a substantial floor plan element, shared by several processes,which acts as a filter into memory for pc-values, memory swap, and single and multiple load/store operations. The specification is at the register transfer level and is sufficiently detailed to detect the known deadlocks in earlier designs and verify that the final version is deadlock free. The specification work was carried out in Milner’s Calculus of Communicating Systems (CCS) and property checked using the ConcurrencyWorkbench (CWB). The work described is post facto —it was started after the AMULET1 chip had been sent for fabrication." @default.
- W52773374 created "2016-06-24" @default.
- W52773374 creator A5066372559 @default.
- W52773374 creator A5090716336 @default.
- W52773374 date "1996-01-01" @default.
- W52773374 modified "2023-10-18" @default.
- W52773374 title "Specifying and Property Checking the AMULET1 Address Interface" @default.
- W52773374 cites W1484555237 @default.
- W52773374 cites W1504147341 @default.
- W52773374 cites W1506588809 @default.
- W52773374 cites W1568028524 @default.
- W52773374 cites W1590954054 @default.
- W52773374 cites W1871093416 @default.
- W52773374 cites W2176705267 @default.
- W52773374 cites W2176882324 @default.
- W52773374 cites W2178255682 @default.
- W52773374 cites W2522442433 @default.
- W52773374 cites W2537389385 @default.
- W52773374 cites W374976041 @default.
- W52773374 cites W61587247 @default.
- W52773374 doi "https://doi.org/10.14236/ewic/dcc1996.6" @default.
- W52773374 hasPublicationYear "1996" @default.
- W52773374 type Work @default.
- W52773374 sameAs 52773374 @default.
- W52773374 citedByCount "1" @default.
- W52773374 crossrefType "proceedings-article" @default.
- W52773374 hasAuthorship W52773374A5066372559 @default.
- W52773374 hasAuthorship W52773374A5090716336 @default.
- W52773374 hasBestOaLocation W527733741 @default.
- W52773374 hasConcept C10138342 @default.
- W52773374 hasConcept C111919701 @default.
- W52773374 hasConcept C113843644 @default.
- W52773374 hasConcept C129307140 @default.
- W52773374 hasConcept C149635348 @default.
- W52773374 hasConcept C151319957 @default.
- W52773374 hasConcept C157915830 @default.
- W52773374 hasConcept C162324750 @default.
- W52773374 hasConcept C193702766 @default.
- W52773374 hasConcept C199360897 @default.
- W52773374 hasConcept C31258907 @default.
- W52773374 hasConcept C41008148 @default.
- W52773374 hasConcept C99821215 @default.
- W52773374 hasConceptScore W52773374C10138342 @default.
- W52773374 hasConceptScore W52773374C111919701 @default.
- W52773374 hasConceptScore W52773374C113843644 @default.
- W52773374 hasConceptScore W52773374C129307140 @default.
- W52773374 hasConceptScore W52773374C149635348 @default.
- W52773374 hasConceptScore W52773374C151319957 @default.
- W52773374 hasConceptScore W52773374C157915830 @default.
- W52773374 hasConceptScore W52773374C162324750 @default.
- W52773374 hasConceptScore W52773374C193702766 @default.
- W52773374 hasConceptScore W52773374C199360897 @default.
- W52773374 hasConceptScore W52773374C31258907 @default.
- W52773374 hasConceptScore W52773374C41008148 @default.
- W52773374 hasConceptScore W52773374C99821215 @default.
- W52773374 hasLocation W527733741 @default.
- W52773374 hasOpenAccess W52773374 @default.
- W52773374 hasPrimaryLocation W527733741 @default.
- W52773374 hasRelatedWork W1544359874 @default.
- W52773374 hasRelatedWork W1589913369 @default.
- W52773374 hasRelatedWork W201088255 @default.
- W52773374 hasRelatedWork W2083338789 @default.
- W52773374 hasRelatedWork W2124931280 @default.
- W52773374 hasRelatedWork W2151898527 @default.
- W52773374 hasRelatedWork W2250656952 @default.
- W52773374 hasRelatedWork W2347608685 @default.
- W52773374 hasRelatedWork W2808750505 @default.
- W52773374 hasRelatedWork W4233783224 @default.
- W52773374 isParatext "false" @default.
- W52773374 isRetracted "false" @default.
- W52773374 magId "52773374" @default.
- W52773374 workType "article" @default.