Towards an automatic approach for hardware verification according to ISO 26262 functional safety standard | IEEE Conference Publication | IEEE Xplore