Design of control dominated hardware based on formal methods | IEEE Conference Publication | IEEE Xplore