QuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification.

Hu-Hsi Yeh, Cheng-Yin Wu, Chung-Yang (Ric) Huang

Browse the full TACAS paper archive.