Assertion Based Verification using Yosys: A Case Study from Nuclear Domain. - Shubam Gupta; Ajith K. John; Mohit Kalra (ISEC, 2023)