Using vemlog to debug Nexus 1000v problems