FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2509820912> ?p ?o ?g. }

• W2509820912 endingPage "882" @default.
• W2509820912 startingPage "869" @default.
• W2509820912 abstract "We revisit the specification of control circuits and protocols written as regular expressions, and propose a synthesizable subset of the sequences that can be written in the property specification language and system Verilog assertions standards. We give a formal semantics of the sequence operators that can directly be interpreted in terms of circuits, and provide a modular method to achieve the automatic generation of compliant hardware from specifications written as temporal sequences. The method also generates assertions to check the completeness and consistency of the specifications. Results obtained on classical benchmarks show the efficiency of our technique. Finally, we discuss the applications of our prototype tool in an assertion-based verification flow." @default.
• W2509820912 created "2016-09-16" @default.
• W2509820912 creator A5036924691 @default.
• W2509820912 creator A5063371658 @default.
• W2509820912 creator A5067330751 @default.
• W2509820912 date "2017-05-01" @default.
• W2509820912 modified "2023-10-14" @default.
• W2509820912 title "Synthesis of Regular Expressions Revisited: From PSL SEREs to Hardware" @default.
• W2509820912 cites W1483600339 @default.
• W2509820912 cites W1570601698 @default.
• W2509820912 cites W1600581889 @default.
• W2509820912 cites W2007981995 @default.
• W2509820912 cites W2012262513 @default.
• W2509820912 cites W2016206563 @default.
• W2509820912 cites W2027657928 @default.
• W2509820912 cites W2030719611 @default.
• W2509820912 cites W2041701185 @default.
• W2509820912 cites W2095620890 @default.
• W2509820912 cites W2109957573 @default.
• W2509820912 cites W2111299652 @default.
• W2509820912 cites W2113511408 @default.
• W2509820912 cites W2116980794 @default.
• W2509820912 cites W2117107687 @default.
• W2509820912 cites W2121535459 @default.
• W2509820912 cites W2122620434 @default.
• W2509820912 cites W2151884108 @default.
• W2509820912 cites W2181495116 @default.
• W2509820912 cites W2953191059 @default.
• W2509820912 cites W3876687 @default.
• W2509820912 cites W4212901716 @default.
• W2509820912 cites W4250598416 @default.
• W2509820912 cites W4251717294 @default.
• W2509820912 cites W4298258789 @default.
• W2509820912 cites W4299618973 @default.
• W2509820912 cites W2050745653 @default.
• W2509820912 cites W2138431223 @default.
• W2509820912 doi "https://doi.org/10.1109/tcad.2016.2600241" @default.
• W2509820912 hasPublicationYear "2017" @default.
• W2509820912 type Work @default.
• W2509820912 sameAs 2509820912 @default.
• W2509820912 citedByCount "1" @default.
• W2509820912 countsByYear W25098209122019 @default.
• W2509820912 crossrefType "journal-article" @default.
• W2509820912 hasAuthorship W2509820912A5036924691 @default.
• W2509820912 hasAuthorship W2509820912A5063371658 @default.
• W2509820912 hasAuthorship W2509820912A5067330751 @default.
• W2509820912 hasConcept C101468663 @default.
• W2509820912 hasConcept C111472728 @default.
• W2509820912 hasConcept C121329065 @default.
• W2509820912 hasConcept C134306372 @default.
• W2509820912 hasConcept C138885662 @default.
• W2509820912 hasConcept C154945302 @default.
• W2509820912 hasConcept C17231256 @default.
• W2509820912 hasConcept C189950617 @default.
• W2509820912 hasConcept C199360897 @default.
• W2509820912 hasConcept C201677973 @default.
• W2509820912 hasConcept C2776436953 @default.
• W2509820912 hasConcept C2779030575 @default.
• W2509820912 hasConcept C33923547 @default.
• W2509820912 hasConcept C40422974 @default.
• W2509820912 hasConcept C41008148 @default.
• W2509820912 hasConcept C42143788 @default.
• W2509820912 hasConcept C42935608 @default.
• W2509820912 hasConcept C80444323 @default.
• W2509820912 hasConcept C9390403 @default.
• W2509820912 hasConcept C94375191 @default.
• W2509820912 hasConceptScore W2509820912C101468663 @default.
• W2509820912 hasConceptScore W2509820912C111472728 @default.
• W2509820912 hasConceptScore W2509820912C121329065 @default.
• W2509820912 hasConceptScore W2509820912C134306372 @default.
• W2509820912 hasConceptScore W2509820912C138885662 @default.
• W2509820912 hasConceptScore W2509820912C154945302 @default.
• W2509820912 hasConceptScore W2509820912C17231256 @default.
• W2509820912 hasConceptScore W2509820912C189950617 @default.
• W2509820912 hasConceptScore W2509820912C199360897 @default.
• W2509820912 hasConceptScore W2509820912C201677973 @default.
• W2509820912 hasConceptScore W2509820912C2776436953 @default.
• W2509820912 hasConceptScore W2509820912C2779030575 @default.
• W2509820912 hasConceptScore W2509820912C33923547 @default.
• W2509820912 hasConceptScore W2509820912C40422974 @default.
• W2509820912 hasConceptScore W2509820912C41008148 @default.
• W2509820912 hasConceptScore W2509820912C42143788 @default.
• W2509820912 hasConceptScore W2509820912C42935608 @default.
• W2509820912 hasConceptScore W2509820912C80444323 @default.
• W2509820912 hasConceptScore W2509820912C9390403 @default.
• W2509820912 hasConceptScore W2509820912C94375191 @default.
• W2509820912 hasIssue "5" @default.
• W2509820912 hasLocation W25098209121 @default.
• W2509820912 hasLocation W25098209122 @default.
• W2509820912 hasLocation W25098209123 @default.
• W2509820912 hasOpenAccess W2509820912 @default.
• W2509820912 hasPrimaryLocation W25098209121 @default.
• W2509820912 hasRelatedWork W1981826048 @default.
• W2509820912 hasRelatedWork W1984757784 @default.
• W2509820912 hasRelatedWork W2017995229 @default.
• W2509820912 hasRelatedWork W2097369591 @default.
• W2509820912 hasRelatedWork W2105337588 @default.
• W2509820912 hasRelatedWork W2161425891 @default.

• next