Improving the Digital Design with Semi-formal Specification | IEEE Conference Publication | IEEE Xplore