Verilua: An Open Source Versatile Framework for Efficient Hardware Verification and Analysis Using LuaJIT.

Ye Cai, Chuyu Zheng, Wei He, Dan Tang

Browse the full DATE paper archive.