1. Allon Adir, Maxim Golubev, Shimon Landa, Amir Nahir, Gil Shurek, Vitali Sokhin, and Avi Ziv. 2011. Threadmill: A post-silicon exerciser for multi-threaded processors. In Proceedings of the 48th Design Automation Conference. 860–865.
2. Alif Ahmed, Farimah Farahmandi, and Prabhat Mishra. 2018. Directed test generation using concolic testing on RTL models. In Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE’18). IEEE, 1538–1543.
3. Alif Ahmed and Prabhat Mishra. 2017. QUEBS: Qualifying event based search in concolic testing for validation of RTL models. In Proceedings of the IEEE International Conference on Computer Design (ICCD’17). IEEE, 185–192.
4. Tashfia Alam, Zhenkun Yang, Bo Chen, Nicholas Armour, and Sandip Ray. 2022. FirVer: Concolic testing for systematic validation of firmware binaries. In Proceedings of the 27th Asia and South Pacific Design Automation Conference. IEEE, 352–357.
5. Peter J. Ashenden. 2010. The Designer’s Guide to VHDL. Morgan Kaufmann.