Matches in SemOpenAlex for { <https://semopenalex.org/work/W2534384179> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2534384179 abstract "We give a detailed description of the formal specification and verification of a complex Intel(R) Pentium(R) 4 resource scheduler with over one thousand state elements using concurrent GSTE (CGSTE) l. CGSTE is a powerful extension of GSTE (generalized symbolic trajectory evaluation) for succinctly specifying and efficiently verifying the concurrent behavior of a complex circuit. We show how an operational high level specification (HLS) for the hardware was developed and cleanly captured in an algebraic-style specification language in CGSTE. The correctness of the hardware implementation was automatically verified against the HLS using the CGSTE model checker in the matter of two minutes" @default.
- W2534384179 created "2016-10-28" @default.
- W2534384179 creator A5009692305 @default.
- W2534384179 creator A5052037169 @default.
- W2534384179 creator A5054059928 @default.
- W2534384179 date "2006-04-07" @default.
- W2534384179 modified "2023-09-26" @default.
- W2534384179 title "Industrial Scale Formnal Verification Using Concurrent GSTE" @default.
- W2534384179 cites W1500286044 @default.
- W2534384179 cites W1509905890 @default.
- W2534384179 cites W1547263332 @default.
- W2534384179 cites W1606059631 @default.
- W2534384179 cites W2007378539 @default.
- W2534384179 cites W2110648791 @default.
- W2534384179 cites W2115457987 @default.
- W2534384179 cites W2154967452 @default.
- W2534384179 cites W2171700293 @default.
- W2534384179 doi "https://doi.org/10.1109/icasic.2005.1611464" @default.
- W2534384179 hasPublicationYear "2006" @default.
- W2534384179 type Work @default.
- W2534384179 sameAs 2534384179 @default.
- W2534384179 citedByCount "0" @default.
- W2534384179 crossrefType "proceedings-article" @default.
- W2534384179 hasAuthorship W2534384179A5009692305 @default.
- W2534384179 hasAuthorship W2534384179A5052037169 @default.
- W2534384179 hasAuthorship W2534384179A5054059928 @default.
- W2534384179 hasConcept C110251889 @default.
- W2534384179 hasConcept C111498074 @default.
- W2534384179 hasConcept C116253237 @default.
- W2534384179 hasConcept C173608175 @default.
- W2534384179 hasConcept C199360897 @default.
- W2534384179 hasConcept C201677973 @default.
- W2534384179 hasConcept C23123167 @default.
- W2534384179 hasConcept C2778029271 @default.
- W2534384179 hasConcept C41008148 @default.
- W2534384179 hasConcept C46268123 @default.
- W2534384179 hasConcept C55439883 @default.
- W2534384179 hasConcept C75606506 @default.
- W2534384179 hasConceptScore W2534384179C110251889 @default.
- W2534384179 hasConceptScore W2534384179C111498074 @default.
- W2534384179 hasConceptScore W2534384179C116253237 @default.
- W2534384179 hasConceptScore W2534384179C173608175 @default.
- W2534384179 hasConceptScore W2534384179C199360897 @default.
- W2534384179 hasConceptScore W2534384179C201677973 @default.
- W2534384179 hasConceptScore W2534384179C23123167 @default.
- W2534384179 hasConceptScore W2534384179C2778029271 @default.
- W2534384179 hasConceptScore W2534384179C41008148 @default.
- W2534384179 hasConceptScore W2534384179C46268123 @default.
- W2534384179 hasConceptScore W2534384179C55439883 @default.
- W2534384179 hasConceptScore W2534384179C75606506 @default.
- W2534384179 hasLocation W25343841791 @default.
- W2534384179 hasOpenAccess W2534384179 @default.
- W2534384179 hasPrimaryLocation W25343841791 @default.
- W2534384179 hasRelatedWork W128640981 @default.
- W2534384179 hasRelatedWork W1517203057 @default.
- W2534384179 hasRelatedWork W1583372371 @default.
- W2534384179 hasRelatedWork W1591897221 @default.
- W2534384179 hasRelatedWork W2060070465 @default.
- W2534384179 hasRelatedWork W2105182891 @default.
- W2534384179 hasRelatedWork W2107840120 @default.
- W2534384179 hasRelatedWork W2117018366 @default.
- W2534384179 hasRelatedWork W2123510745 @default.
- W2534384179 hasRelatedWork W2138505477 @default.
- W2534384179 hasRelatedWork W2143388350 @default.
- W2534384179 hasRelatedWork W2151490726 @default.
- W2534384179 hasRelatedWork W2157120282 @default.
- W2534384179 hasRelatedWork W2160892751 @default.
- W2534384179 hasRelatedWork W2167857956 @default.
- W2534384179 hasRelatedWork W2400273477 @default.
- W2534384179 hasRelatedWork W2972200143 @default.
- W2534384179 hasRelatedWork W3083826291 @default.
- W2534384179 hasRelatedWork W574161834 @default.
- W2534384179 hasRelatedWork W87240014 @default.
- W2534384179 isParatext "false" @default.
- W2534384179 isRetracted "false" @default.
- W2534384179 magId "2534384179" @default.
- W2534384179 workType "article" @default.