Login / Signup
Towards an automatic approach for hardware verification according to ISO 26262 functional safety standard.
Jacopo Sini
Matteo Sonza Reorda
Massimo Violante
Peter Sarson
Published in:
IOLTS (2018)
Keyphrases
</>
image processing
semi automatic
model checking
real time
low cost
fully automatic
hardware and software
asynchronous circuits
website
evolutionary algorithm
general purpose
distributed systems
computer systems
embedded systems
hardware designs
functional verification