A New RISC-V CPU for Safety-Critical Systems.

Ján Mach Lukás Kohútka Pavel Cicák

Published in: MECO (2023)

Keyphrases

safety critical
safety analysis
formal methods
embedded systems
fault tolerant
agent architecture
expert systems
knowledge representation
management system
knowledge acquisition
nuclear power plant