Automating the verification of parameterized hardware using a hybrid tool | IEEE Conference Publication | IEEE Xplore