Timing-Driven Technology Mapping Approximation Based on Reinforcement Learning | IEEE Journals & Magazine | IEEE Xplore