Matches in SemOpenAlex for { <https://semopenalex.org/work/W4384833504> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W4384833504 abstract "Typical hardware description languages, such as Verilog and VHDL, are low-level declarative languages with little room for flexibility. Extending, verifying, or reinterpreting programs in these languages is typically done with external tools and at great cost. This paper presents an implementation of a relational hardware description language, Ruby, in the programming language and proof assistant Agda. Using our system, an engineer can easily write, compile, simulate, and verify new designs. The language is modular, allowing for new constructs and libraries to be added easily, and supports formal reasoning about circuit transformations. Symbolic simulation and compilation to a netlist format are also provided. We demonstrate our tool by designing, compiling, and simulating a priority queue design, and showcase how equational reasoning can be used to prove properties of circuits." @default.
- W4384833504 created "2023-07-21" @default.
- W4384833504 creator A5057940557 @default.
- W4384833504 creator A5072641397 @default.
- W4384833504 creator A5090206582 @default.
- W4384833504 date "2023-06-14" @default.
- W4384833504 modified "2023-09-24" @default.
- W4384833504 title "Extensible Embedded Hardware Description Languages with Compilation, Simulation and Verification" @default.
- W4384833504 cites W1830421783 @default.
- W4384833504 cites W1982209843 @default.
- W4384833504 cites W1995618084 @default.
- W4384833504 cites W2081391858 @default.
- W4384833504 cites W2557238237 @default.
- W4384833504 cites W2567568390 @default.
- W4384833504 cites W2889224709 @default.
- W4384833504 cites W2912012512 @default.
- W4384833504 cites W3103594074 @default.
- W4384833504 cites W3157953454 @default.
- W4384833504 doi "https://doi.org/10.1145/3597031.3597051" @default.
- W4384833504 hasPublicationYear "2023" @default.
- W4384833504 type Work @default.
- W4384833504 citedByCount "0" @default.
- W4384833504 crossrefType "proceedings-article" @default.
- W4384833504 hasAuthorship W4384833504A5057940557 @default.
- W4384833504 hasAuthorship W4384833504A5072641397 @default.
- W4384833504 hasAuthorship W4384833504A5090206582 @default.
- W4384833504 hasBestOaLocation W43848335041 @default.
- W4384833504 hasConcept C101468663 @default.
- W4384833504 hasConcept C11413529 @default.
- W4384833504 hasConcept C118524514 @default.
- W4384833504 hasConcept C131017901 @default.
- W4384833504 hasConcept C149635348 @default.
- W4384833504 hasConcept C157922185 @default.
- W4384833504 hasConcept C169590947 @default.
- W4384833504 hasConcept C177650935 @default.
- W4384833504 hasConcept C199360897 @default.
- W4384833504 hasConcept C34854456 @default.
- W4384833504 hasConcept C36941000 @default.
- W4384833504 hasConcept C41008148 @default.
- W4384833504 hasConcept C42143788 @default.
- W4384833504 hasConcept C42935608 @default.
- W4384833504 hasConceptScore W4384833504C101468663 @default.
- W4384833504 hasConceptScore W4384833504C11413529 @default.
- W4384833504 hasConceptScore W4384833504C118524514 @default.
- W4384833504 hasConceptScore W4384833504C131017901 @default.
- W4384833504 hasConceptScore W4384833504C149635348 @default.
- W4384833504 hasConceptScore W4384833504C157922185 @default.
- W4384833504 hasConceptScore W4384833504C169590947 @default.
- W4384833504 hasConceptScore W4384833504C177650935 @default.
- W4384833504 hasConceptScore W4384833504C199360897 @default.
- W4384833504 hasConceptScore W4384833504C34854456 @default.
- W4384833504 hasConceptScore W4384833504C36941000 @default.
- W4384833504 hasConceptScore W4384833504C41008148 @default.
- W4384833504 hasConceptScore W4384833504C42143788 @default.
- W4384833504 hasConceptScore W4384833504C42935608 @default.
- W4384833504 hasLocation W43848335041 @default.
- W4384833504 hasOpenAccess W4384833504 @default.
- W4384833504 hasPrimaryLocation W43848335041 @default.
- W4384833504 hasRelatedWork W1565959845 @default.
- W4384833504 hasRelatedWork W1608923584 @default.
- W4384833504 hasRelatedWork W1979534964 @default.
- W4384833504 hasRelatedWork W2080682474 @default.
- W4384833504 hasRelatedWork W2129508730 @default.
- W4384833504 hasRelatedWork W2163017554 @default.
- W4384833504 hasRelatedWork W2370681738 @default.
- W4384833504 hasRelatedWork W2429331556 @default.
- W4384833504 hasRelatedWork W2544421437 @default.
- W4384833504 hasRelatedWork W54894869 @default.
- W4384833504 isParatext "false" @default.
- W4384833504 isRetracted "false" @default.
- W4384833504 workType "article" @default.