Gate-level simulation of ASIC in browser