%0 Journal Article
%T Automated Formal Verification of Area-Optimized Safety Registers in Automotive SoCs
%A Zhang, Shuhang
%A Olmos, Bryan
%J Computing Research Repository
%V 2025
%N 2505
%D 2025-05-23
%~ DeepDyve