Engineering at VeriSIM