Yi Diao

Publication Activity (10 Years)

Years Active: 2011-2016
Publications (10 Years): 2

Top Topics

Conceptual Schema

Reverse Engineer

Top Venues

ACM Great Lakes Symposium on VLSI

Publications

Yi Diao, Xing Wei, Tak-Kei Lam, Yu-Liang Wu
Coupling reverse engineering and SAT to tackle NP-complete arithmetic circuitry verification in ∼O(# of gates). ASP-DAC (2016)
Xing Wei, Yi Diao, Yu-Liang Wu
To Detect, Locate, and Mask Hardware Trojans in digital circuits by reverse engineering and functional ECO. ASP-DAC (2016)
Xing Wei, Yi Diao, Tak-Kei Lam, Yu-Liang Wu
A universal macro block mapping scheme for arithmetic circuits. DATE (2015)
Yi Diao, Tak-Kei Lam, Xing Wei, Yu-Liang Wu
A coupling area reduction technique applying ODC shifting. DATE (2015)
Tak-Kei Lam, Xing Wei, Wen-Ben Jone, Yi Diao, Yu-Liang Wu
On macro-fault: a new fault model, its implications on fault tolerance and manufacturing yield. ACM Great Lakes Symposium on VLSI (2014)
Xing Wei, Tak-Kei Lam, Xiaoqing Yang, Wai-Chung Tang, Yi Diao, Yu-Liang Wu
Delete and Correct (DaC): An Atomic Logic Operation for Removing Any Unwanted Wire. VLSI Design (2014)
Xing Wei, Wai-Chung Tang, Yi Diao, Yu-Liang Wu
ECO timing optimization with negotiation-based re-routing and logic re-structuring using spare cells. ASP-DAC (2012)
Yi Diao, Yu-Liang Wu
A Fast Retiming Algorithm Integrated with Rewiring for Flip-Flop Reductions. CAD/Graphics (2011)