Byung Hoon Ahn, Sean Kinzer, Hadi Esmaeilzadeh: Glimpse: mathematical embedding of hardware specification for neural compilation. DAC 2022: 1165-1170