Rizky Pratama, Kwame Nkrumah, and Y. I. Petrov, “Power And Verification Challenges in Ultra-Low-Power Integrated Circuits: A Critical Review of Design and Automation Techniques”, tajet, vol. 7, no. 11, pp. 32–40, Nov. 2025.