Refine
Year of publication
- 2019 (6) (remove)
Document Type
- Conference Proceeding (5)
- Article (1)
Keywords
- FPGA (3)
- Field-Programmable Gate Array (2)
- Verification (2)
- Assertion Synthesis (1)
- Assertion-based Verification (1)
- BLAS (1)
- Basic Linear Algebra Subprograms (1)
- Benchmark (1)
- CPU Core (1)
- Digital Logic Simulation (1)
- Electronic Based Systems (1)
- Electronic Design Automation (1)
- Electronic design automation (1)
- Embedded Systems (1)
- Fault Detection (1)
- Fault injection (1)
- Open-Source (1)
- PLD (1)
- PSL (1)
- PSoC (1)
- Programmable Logic Device (1)
- RISC-V (1)
- Safety-critical system (1)
- Survey (1)
- VLSI Design (1)