Parallelizing of Boolean function system for device simulation | IEEE Conference Publication | IEEE Xplore