Flash Controller Verification for Dual-Core IoT Chip | IEEE Conference Publication | IEEE Xplore