Opencgra: Democratizing coarse-grained reconfigurable arrays
Reconfigurable architectures are today experiencing a renewed interest for their ability to
provide specialization without sacrificing the capability to adapt to disparate workloads …
provide specialization without sacrificing the capability to adapt to disparate workloads …
PyHDL-Eval: An LLM Evaluation Framework for Hardware Design Using Python-Embedded DSLs
Embedding hardware design frameworks within Python is a promising technique to improve
the productivity of hardware engineers. At the same time, there is significant interest in using …
the productivity of hardware engineers. At the same time, there is significant interest in using …
Symbolic Elaboration: Checking Generator Properties in Dynamic Hardware Description Languages
Recent research in hardware development methodologies has argued for using
programmatic hardware generators and dynamically typed behavioral models to …
programmatic hardware generators and dynamically typed behavioral models to …
Functional Verification for Agile Processor Development: A Case for Workflow Integration
Agile hardware development methodology has been widely adopted over the past decade.
Despite the research progress, the industry still doubts its applicability, especially for the …
Despite the research progress, the industry still doubts its applicability, especially for the …
Randomized testing of RISC-V CPUs using direct instruction injection
Abstract TestRIG (Testing with Random Instruction Generation) is a testing framework for
RISC-V implementations. The RISC-V community has standardized a formal model of the …
RISC-V implementations. The RISC-V community has standardized a formal model of the …
[PDF][PDF] ADDRESSING THE VERIFICATION CHALLENGE OF AGILE HARDWARE METHODOLOGIES
P Pan - 2024 - csl.cornell.edu
Recent research in agile hardware methodologies has argued for using dynamically typed
components in dynamic HDLs to improve the productivity of verification. However, mixing …
components in dynamic HDLs to improve the productivity of verification. However, mixing …
Protecting enclaves from side-channel attacks through physical isolation
M van der Maas - 2023 - cl.cam.ac.uk
The digital world is taking an increasingly crucial role in our lives. Digital systems control our
calendars, how we gain access to our devices and even the vehicles we use for …
calendars, how we gain access to our devices and even the vehicles we use for …
[图书][B] Productive and Extensible Hardware Modeling, Simulation, and Verification Methodologies
S Jiang - 2021 - search.proquest.com
As Dennard scaling broke down in the 2000s and Moore's Law slowed down in the 2010s,
computer engineers have been exploring new ways to extract more computing performance …
computer engineers have been exploring new ways to extract more computing performance …