Digital design vercation based on P-stable semantics | IEEE Conference Publication | IEEE Xplore