A Knowledge-Based Tool for Generating and Verifying Hardware-Ready Embedded Memory Models | IEEE Conference Publication | IEEE Xplore