Title: High performance logic simulation through hardware modelling and efficient event management