The UniTESK Approach to Specification-Based Validation of Hardware Designs | IEEE Conference Publication | IEEE Xplore