Login / Signup
On-line Testing for Autonomous Systems driven by RISC-V Processor Design Verification.
Annachiara Ruospo
Riccardo Cantoro
Ernesto Sánchez
Pasquale Davide Schiavone
Angelo Garofalo
Luca Benini
Published in:
DFT (2019)
Keyphrases
</>
autonomous systems
functional verification
single chip
computer architecture
instruction set
real time
decision support
memory management
computation intensive
e learning
formal verification