Alternative functional verification methodology for low and medium level designs (Applied to an AES encryption module) | IEEE Conference Publication | IEEE Xplore