Using integer equations to check PSL properties in RT level design | IEEE Conference Publication | IEEE Xplore