A Formal Method for Optimal High-Level Casting of Heterogeneous Fixed-Point Adders and Subtractors | Publicación