PyCacheGen: A Highly Configurable Open-Source Generator for Synthesizable Caches. - Richard Müller 004; Konstantin Lübeck; Michael Kuhn; Paul Palomero Bernardo; Oliver Bringmann 001 (CPS Summer School, PhD Workshop, 2025)