Matches in SemOpenAlex for { <https://semopenalex.org/work/W1580494063> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1580494063 abstract "Presents the chain of tools developed at BULL for the verification of circuit designs. For several years, BULL has been a leading site in the field of formal verification of hardware. Until now, the main concern of BULL was in the validation of the VLSI circuits of its mainframe CPUs. The effort is currently extended to board components such as PLDs and ASICs. >" @default.
- W1580494063 created "2016-06-24" @default.
- W1580494063 creator A5000299040 @default.
- W1580494063 creator A5027695182 @default.
- W1580494063 creator A5039574668 @default.
- W1580494063 creator A5068964552 @default.
- W1580494063 creator A5089065434 @default.
- W1580494063 date "2002-12-04" @default.
- W1580494063 modified "2023-09-27" @default.
- W1580494063 title "The formal verification chain at BULL" @default.
- W1580494063 cites W1578895382 @default.
- W1580494063 cites W1608751254 @default.
- W1580494063 cites W2080267935 @default.
- W1580494063 cites W2126395320 @default.
- W1580494063 cites W2127862840 @default.
- W1580494063 cites W2129873456 @default.
- W1580494063 cites W2130427919 @default.
- W1580494063 cites W2141542945 @default.
- W1580494063 cites W3165781521 @default.
- W1580494063 doi "https://doi.org/10.1109/easic.1990.207991" @default.
- W1580494063 hasPublicationYear "2002" @default.
- W1580494063 type Work @default.
- W1580494063 sameAs 1580494063 @default.
- W1580494063 citedByCount "3" @default.
- W1580494063 crossrefType "proceedings-article" @default.
- W1580494063 hasAuthorship W1580494063A5000299040 @default.
- W1580494063 hasAuthorship W1580494063A5027695182 @default.
- W1580494063 hasAuthorship W1580494063A5039574668 @default.
- W1580494063 hasAuthorship W1580494063A5068964552 @default.
- W1580494063 hasAuthorship W1580494063A5089065434 @default.
- W1580494063 hasConcept C111498074 @default.
- W1580494063 hasConcept C115903868 @default.
- W1580494063 hasConcept C121332964 @default.
- W1580494063 hasConcept C127413603 @default.
- W1580494063 hasConcept C1276947 @default.
- W1580494063 hasConcept C142284323 @default.
- W1580494063 hasConcept C14580979 @default.
- W1580494063 hasConcept C149091818 @default.
- W1580494063 hasConcept C149635348 @default.
- W1580494063 hasConcept C186846655 @default.
- W1580494063 hasConcept C199185054 @default.
- W1580494063 hasConcept C199360897 @default.
- W1580494063 hasConcept C200601418 @default.
- W1580494063 hasConcept C2777904410 @default.
- W1580494063 hasConcept C33923547 @default.
- W1580494063 hasConcept C3406870 @default.
- W1580494063 hasConcept C41008148 @default.
- W1580494063 hasConcept C77390884 @default.
- W1580494063 hasConcept C94375191 @default.
- W1580494063 hasConceptScore W1580494063C111498074 @default.
- W1580494063 hasConceptScore W1580494063C115903868 @default.
- W1580494063 hasConceptScore W1580494063C121332964 @default.
- W1580494063 hasConceptScore W1580494063C127413603 @default.
- W1580494063 hasConceptScore W1580494063C1276947 @default.
- W1580494063 hasConceptScore W1580494063C142284323 @default.
- W1580494063 hasConceptScore W1580494063C14580979 @default.
- W1580494063 hasConceptScore W1580494063C149091818 @default.
- W1580494063 hasConceptScore W1580494063C149635348 @default.
- W1580494063 hasConceptScore W1580494063C186846655 @default.
- W1580494063 hasConceptScore W1580494063C199185054 @default.
- W1580494063 hasConceptScore W1580494063C199360897 @default.
- W1580494063 hasConceptScore W1580494063C200601418 @default.
- W1580494063 hasConceptScore W1580494063C2777904410 @default.
- W1580494063 hasConceptScore W1580494063C33923547 @default.
- W1580494063 hasConceptScore W1580494063C3406870 @default.
- W1580494063 hasConceptScore W1580494063C41008148 @default.
- W1580494063 hasConceptScore W1580494063C77390884 @default.
- W1580494063 hasConceptScore W1580494063C94375191 @default.
- W1580494063 hasLocation W15804940631 @default.
- W1580494063 hasOpenAccess W1580494063 @default.
- W1580494063 hasPrimaryLocation W15804940631 @default.
- W1580494063 hasRelatedWork W1502396914 @default.
- W1580494063 hasRelatedWork W1556955196 @default.
- W1580494063 hasRelatedWork W1605668881 @default.
- W1580494063 hasRelatedWork W1605997825 @default.
- W1580494063 hasRelatedWork W1678563670 @default.
- W1580494063 hasRelatedWork W1856174529 @default.
- W1580494063 hasRelatedWork W2043858766 @default.
- W1580494063 hasRelatedWork W2079545801 @default.
- W1580494063 hasRelatedWork W2098869417 @default.
- W1580494063 hasRelatedWork W2113443220 @default.
- W1580494063 hasRelatedWork W2115065664 @default.
- W1580494063 hasRelatedWork W2130116292 @default.
- W1580494063 hasRelatedWork W2131486514 @default.
- W1580494063 hasRelatedWork W2145716688 @default.
- W1580494063 hasRelatedWork W2148707217 @default.
- W1580494063 hasRelatedWork W2152513650 @default.
- W1580494063 hasRelatedWork W2153805049 @default.
- W1580494063 hasRelatedWork W2157559950 @default.
- W1580494063 hasRelatedWork W2169873951 @default.
- W1580494063 hasRelatedWork W2534063879 @default.
- W1580494063 isParatext "false" @default.
- W1580494063 isRetracted "false" @default.
- W1580494063 magId "1580494063" @default.
- W1580494063 workType "article" @default.