Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569134779> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1569134779 abstract "We outline how a hybrid formal hardware verification tool that links an interactive theorem prover and an automated hardware verification tool, can verify parameterized circuits containing replicated components. We show that the approach integrates well with the hierarchical proof approach embodied in the hybrid tool." @default.
- W1569134779 created "2016-06-24" @default.
- W1569134779 creator A5007159598 @default.
- W1569134779 creator A5025355465 @default.
- W1569134779 date "2001-01-01" @default.
- W1569134779 modified "2023-10-01" @default.
- W1569134779 title "Automating the verification of parameterized hardware using a hybrid tool" @default.
- W1569134779 cites W1482720120 @default.
- W1569134779 cites W1521083034 @default.
- W1569134779 cites W1546619449 @default.
- W1569134779 cites W1551406732 @default.
- W1569134779 cites W1577504746 @default.
- W1569134779 cites W1764512891 @default.
- W1569134779 cites W1774916044 @default.
- W1569134779 cites W1982619477 @default.
- W1569134779 cites W2096455207 @default.
- W1569134779 cites W2149391410 @default.
- W1569134779 cites W2164186251 @default.
- W1569134779 doi "https://doi.org/10.1109/icm.2001.997659" @default.
- W1569134779 hasPublicationYear "2001" @default.
- W1569134779 type Work @default.
- W1569134779 sameAs 1569134779 @default.
- W1569134779 citedByCount "1" @default.
- W1569134779 crossrefType "proceedings-article" @default.
- W1569134779 hasAuthorship W1569134779A5007159598 @default.
- W1569134779 hasAuthorship W1569134779A5025355465 @default.
- W1569134779 hasConcept C108710211 @default.
- W1569134779 hasConcept C111498074 @default.
- W1569134779 hasConcept C113775141 @default.
- W1569134779 hasConcept C11413529 @default.
- W1569134779 hasConcept C118524514 @default.
- W1569134779 hasConcept C149635348 @default.
- W1569134779 hasConcept C159718280 @default.
- W1569134779 hasConcept C165464430 @default.
- W1569134779 hasConcept C186846655 @default.
- W1569134779 hasConcept C187250869 @default.
- W1569134779 hasConcept C199360897 @default.
- W1569134779 hasConcept C206880738 @default.
- W1569134779 hasConcept C2524010 @default.
- W1569134779 hasConcept C2777904410 @default.
- W1569134779 hasConcept C33923547 @default.
- W1569134779 hasConcept C3406870 @default.
- W1569134779 hasConcept C41008148 @default.
- W1569134779 hasConcept C529173508 @default.
- W1569134779 hasConcept C9390403 @default.
- W1569134779 hasConceptScore W1569134779C108710211 @default.
- W1569134779 hasConceptScore W1569134779C111498074 @default.
- W1569134779 hasConceptScore W1569134779C113775141 @default.
- W1569134779 hasConceptScore W1569134779C11413529 @default.
- W1569134779 hasConceptScore W1569134779C118524514 @default.
- W1569134779 hasConceptScore W1569134779C149635348 @default.
- W1569134779 hasConceptScore W1569134779C159718280 @default.
- W1569134779 hasConceptScore W1569134779C165464430 @default.
- W1569134779 hasConceptScore W1569134779C186846655 @default.
- W1569134779 hasConceptScore W1569134779C187250869 @default.
- W1569134779 hasConceptScore W1569134779C199360897 @default.
- W1569134779 hasConceptScore W1569134779C206880738 @default.
- W1569134779 hasConceptScore W1569134779C2524010 @default.
- W1569134779 hasConceptScore W1569134779C2777904410 @default.
- W1569134779 hasConceptScore W1569134779C33923547 @default.
- W1569134779 hasConceptScore W1569134779C3406870 @default.
- W1569134779 hasConceptScore W1569134779C41008148 @default.
- W1569134779 hasConceptScore W1569134779C529173508 @default.
- W1569134779 hasConceptScore W1569134779C9390403 @default.
- W1569134779 hasLocation W15691347791 @default.
- W1569134779 hasOpenAccess W1569134779 @default.
- W1569134779 hasPrimaryLocation W15691347791 @default.
- W1569134779 hasRelatedWork W115511847 @default.
- W1569134779 hasRelatedWork W1492252392 @default.
- W1569134779 hasRelatedWork W1569134779 @default.
- W1569134779 hasRelatedWork W1606979385 @default.
- W1569134779 hasRelatedWork W1695011982 @default.
- W1569134779 hasRelatedWork W2163719676 @default.
- W1569134779 hasRelatedWork W2299263495 @default.
- W1569134779 hasRelatedWork W280188670 @default.
- W1569134779 hasRelatedWork W289285922 @default.
- W1569134779 hasRelatedWork W47563837 @default.
- W1569134779 isParatext "false" @default.
- W1569134779 isRetracted "false" @default.
- W1569134779 magId "1569134779" @default.
- W1569134779 workType "article" @default.