Fix sensitivity list.
Fix a few synthesis warnings.
Fix HDL tests.