Statically checkable design level traits | IEEE Conference Publication | IEEE Xplore