PyMTL3: A Python Framework for Open-Source Hardware Modeling, Generation, Simulation, and Verification | IEEE Journals & Magazine | IEEE Xplore