2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.LG2019★ 2 cited
Painting on Placement: Forecasting Routing Congestion using Conditional Generative Adversarial Nets
Cunxi Yu, Zhiru Zhang
Physical design process commonly consumes hours to days for large designs, and routing is known as the most critical step. Demands for accurate routing quality prediction raise to…
cs.SC2019
Spectral Approach to Verifying Non-linear Arithmetic Circuits
Cunxi Yu, Tiankai Su, Atif Yasin +1
This paper presents a fast and effective computer algebraic method for analyzing and verifying non-linear integer arithmetic circuits using a novel algebraic spectral model. It int…
cs.SC2016
Reverse Engineering of Irreducible Polynomials in GF(2^m) Arithmetic
Cunxi Yu, Daniel Holcomb, Maciej Ciesielski
Current techniques for formally verifying circuits implemented in Galois field (GF) arithmetic are limited to those with a known irreducible polynomial P(x). This paper presents a…