A Complete and Fully Qualified Design Flow for Verification of Mixed-Signal SoC with Embedded Flash Memories | IEEE Conference Publication | IEEE Xplore