QuaSim — Cloud service for digital circuits simulation | IEEE Conference Publication | IEEE Xplore