Automatic Generation of Complex Properties for Hardware Designs | IEEE Conference Publication | IEEE Xplore