Shubam Gupta, Ajith John, Mohit Kalra. Assertion Based Verification using Yosys: A Case Study from Nuclear Domain. In Sonali Agarwal, Abhik Roychoudhury, Rahul Purandare, Saurabh Tiwari 0001, Lov Kumar, editors, 16th Innovations in Software Engineering Conference, ISEC2023, Allahabad, India, February 23-25, 2023. ACM, 2023. [doi]
Abstract is missing.