Scaling Program Synthesis Based Technology Mapping with Equality Saturation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Smith, Gus Henry, Knizek, Colin, Petrisko, Daniel, Tatlock, Zachary, Balkind, Jonathan, Bernstein, Gilbert Louis, Ni, Haobin, Nandi, Chandrakana
Format:	Preprint
Published:	2024
Subjects:	Programming Languages Hardware Architecture
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2411.11036