Configurable RTL model for level-1 caches | IEEE Conference Publication | IEEE Xplore