Matches in SemOpenAlex for { <https://semopenalex.org/work/W4296959780> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W4296959780 endingPage "331" @default.
- W4296959780 startingPage "324" @default.
- W4296959780 created "2022-09-25" @default.
- W4296959780 creator A5006029818 @default.
- W4296959780 creator A5028483399 @default.
- W4296959780 creator A5056493204 @default.
- W4296959780 creator A5062461341 @default.
- W4296959780 creator A5067513242 @default.
- W4296959780 creator A5079099968 @default.
- W4296959780 creator A5086641974 @default.
- W4296959780 date "2022-01-01" @default.
- W4296959780 modified "2023-09-27" @default.
- W4296959780 title "CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper)" @default.
- W4296959780 cites W1983394510 @default.
- W4296959780 cites W2147348835 @default.
- W4296959780 cites W2522043470 @default.
- W4296959780 cites W2884110986 @default.
- W4296959780 cites W3016942189 @default.
- W4296959780 cites W3186561113 @default.
- W4296959780 cites W3214830261 @default.
- W4296959780 cites W4225407767 @default.
- W4296959780 cites W4255744499 @default.
- W4296959780 cites W4296959780 @default.
- W4296959780 doi "https://doi.org/10.1007/978-3-031-17108-6_20" @default.
- W4296959780 hasPublicationYear "2022" @default.
- W4296959780 type Work @default.
- W4296959780 citedByCount "1" @default.
- W4296959780 countsByYear W42969597802022 @default.
- W4296959780 crossrefType "book-chapter" @default.
- W4296959780 hasAuthorship W4296959780A5006029818 @default.
- W4296959780 hasAuthorship W4296959780A5028483399 @default.
- W4296959780 hasAuthorship W4296959780A5056493204 @default.
- W4296959780 hasAuthorship W4296959780A5062461341 @default.
- W4296959780 hasAuthorship W4296959780A5067513242 @default.
- W4296959780 hasAuthorship W4296959780A5079099968 @default.
- W4296959780 hasAuthorship W4296959780A5086641974 @default.
- W4296959780 hasConcept C111919701 @default.
- W4296959780 hasConcept C115903868 @default.
- W4296959780 hasConcept C127413603 @default.
- W4296959780 hasConcept C177284502 @default.
- W4296959780 hasConcept C199360897 @default.
- W4296959780 hasConcept C2775962983 @default.
- W4296959780 hasConcept C40422974 @default.
- W4296959780 hasConcept C41008148 @default.
- W4296959780 hasConcept C75606506 @default.
- W4296959780 hasConcept C78519656 @default.
- W4296959780 hasConceptScore W4296959780C111919701 @default.
- W4296959780 hasConceptScore W4296959780C115903868 @default.
- W4296959780 hasConceptScore W4296959780C127413603 @default.
- W4296959780 hasConceptScore W4296959780C177284502 @default.
- W4296959780 hasConceptScore W4296959780C199360897 @default.
- W4296959780 hasConceptScore W4296959780C2775962983 @default.
- W4296959780 hasConceptScore W4296959780C40422974 @default.
- W4296959780 hasConceptScore W4296959780C41008148 @default.
- W4296959780 hasConceptScore W4296959780C75606506 @default.
- W4296959780 hasConceptScore W4296959780C78519656 @default.
- W4296959780 hasLocation W42969597801 @default.
- W4296959780 hasOpenAccess W4296959780 @default.
- W4296959780 hasPrimaryLocation W42969597801 @default.
- W4296959780 hasRelatedWork W1412335592 @default.
- W4296959780 hasRelatedWork W1516983868 @default.
- W4296959780 hasRelatedWork W1546517032 @default.
- W4296959780 hasRelatedWork W2035529004 @default.
- W4296959780 hasRelatedWork W2081607157 @default.
- W4296959780 hasRelatedWork W2112717272 @default.
- W4296959780 hasRelatedWork W2121507724 @default.
- W4296959780 hasRelatedWork W2613165855 @default.
- W4296959780 hasRelatedWork W4296959780 @default.
- W4296959780 hasRelatedWork W2585986253 @default.
- W4296959780 isParatext "false" @default.
- W4296959780 isRetracted "false" @default.
- W4296959780 workType "book-chapter" @default.