Matches in SemOpenAlex for { <https://semopenalex.org/work/W137141504> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W137141504 endingPage "391" @default.
- W137141504 startingPage "377" @default.
- W137141504 abstract "We build an open-source RTL framework, QuteRTL, which can serve as a front-end for research in RTL synthesis and verification. Users can use QuteRTL to read in RTL Verilog designs, obtain CDFGs, generate hierarchical or flattened gate-level netlist, and link to logic synthesis/ optimization tools (e.g. Berkeley ABC). We have tested QuteRTL on various RTL designs and applied formal equivalence checking with third party tool to verify the correctness of the generated netlist. In addition, we also define interfaces for the netlist creation and formal engines. Users can easily adopt other parsers into QuteRTL by the netlist creation interface, or call different formal engines for verification and debugging by the formal engine interface. Various research opportunities are made possible by this framework, such as RTL debugging, word-level formal engines, design abstraction, and a complete RTL-to-gate tool chain, etc. In this paper, we demonstrate the applications of QuteRTL on constrained random simulation and property checking." @default.
- W137141504 created "2016-06-24" @default.
- W137141504 creator A5037030191 @default.
- W137141504 creator A5059907429 @default.
- W137141504 creator A5069922390 @default.
- W137141504 date "2012-01-01" @default.
- W137141504 modified "2023-09-24" @default.
- W137141504 title "QuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification" @default.
- W137141504 cites W1510368738 @default.
- W137141504 cites W2113677233 @default.
- W137141504 cites W2139720682 @default.
- W137141504 cites W3149485484 @default.
- W137141504 doi "https://doi.org/10.1007/978-3-642-28756-5_26" @default.
- W137141504 hasPublicationYear "2012" @default.
- W137141504 type Work @default.
- W137141504 sameAs 137141504 @default.
- W137141504 citedByCount "6" @default.
- W137141504 countsByYear W1371415042014 @default.
- W137141504 countsByYear W1371415042015 @default.
- W137141504 countsByYear W1371415042016 @default.
- W137141504 countsByYear W1371415042023 @default.
- W137141504 crossrefType "book-chapter" @default.
- W137141504 hasAuthorship W137141504A5037030191 @default.
- W137141504 hasAuthorship W137141504A5059907429 @default.
- W137141504 hasAuthorship W137141504A5069922390 @default.
- W137141504 hasBestOaLocation W1371415041 @default.
- W137141504 hasConcept C110251889 @default.
- W137141504 hasConcept C111498074 @default.
- W137141504 hasConcept C113843644 @default.
- W137141504 hasConcept C118524514 @default.
- W137141504 hasConcept C129307140 @default.
- W137141504 hasConcept C149635348 @default.
- W137141504 hasConcept C157915830 @default.
- W137141504 hasConcept C168065819 @default.
- W137141504 hasConcept C173608175 @default.
- W137141504 hasConcept C177650935 @default.
- W137141504 hasConcept C199360897 @default.
- W137141504 hasConcept C2779030575 @default.
- W137141504 hasConcept C41008148 @default.
- W137141504 hasConcept C42935608 @default.
- W137141504 hasConcept C55439883 @default.
- W137141504 hasConcept C58013763 @default.
- W137141504 hasConcept C62460635 @default.
- W137141504 hasConcept C96654402 @default.
- W137141504 hasConceptScore W137141504C110251889 @default.
- W137141504 hasConceptScore W137141504C111498074 @default.
- W137141504 hasConceptScore W137141504C113843644 @default.
- W137141504 hasConceptScore W137141504C118524514 @default.
- W137141504 hasConceptScore W137141504C129307140 @default.
- W137141504 hasConceptScore W137141504C149635348 @default.
- W137141504 hasConceptScore W137141504C157915830 @default.
- W137141504 hasConceptScore W137141504C168065819 @default.
- W137141504 hasConceptScore W137141504C173608175 @default.
- W137141504 hasConceptScore W137141504C177650935 @default.
- W137141504 hasConceptScore W137141504C199360897 @default.
- W137141504 hasConceptScore W137141504C2779030575 @default.
- W137141504 hasConceptScore W137141504C41008148 @default.
- W137141504 hasConceptScore W137141504C42935608 @default.
- W137141504 hasConceptScore W137141504C55439883 @default.
- W137141504 hasConceptScore W137141504C58013763 @default.
- W137141504 hasConceptScore W137141504C62460635 @default.
- W137141504 hasConceptScore W137141504C96654402 @default.
- W137141504 hasLocation W1371415041 @default.
- W137141504 hasOpenAccess W137141504 @default.
- W137141504 hasPrimaryLocation W1371415041 @default.
- W137141504 hasRelatedWork W137141504 @default.
- W137141504 hasRelatedWork W1824289952 @default.
- W137141504 hasRelatedWork W1995149192 @default.
- W137141504 hasRelatedWork W2006962382 @default.
- W137141504 hasRelatedWork W2106507440 @default.
- W137141504 hasRelatedWork W2119463768 @default.
- W137141504 hasRelatedWork W21388859 @default.
- W137141504 hasRelatedWork W2162615969 @default.
- W137141504 hasRelatedWork W2361948817 @default.
- W137141504 hasRelatedWork W4234223684 @default.
- W137141504 isParatext "false" @default.
- W137141504 isRetracted "false" @default.
- W137141504 magId "137141504" @default.
- W137141504 workType "book-chapter" @default.