Verilog vs VHDL
Acs ip-so c-10-tips-presentation
Verilator: Fast, Free, But for Me?
To bug or not to bug: Lessons learned developing bug-compatible software 22 June 2005 Eric Keiter Dept. 9237: Electrical and Microsystems Modeling Sandia.
16 VLSI Catalogue