Verification of Open-Source Memory Compiler Framework with a Practical PDK | IEEE Conference Publication | IEEE Xplore