Thao Le, Jia Di, Mark Tehranipoor, Domenic Forte, Lei Wang 0003. Tracking Data Flow at Gate-Level through Structural Checking. In Ayse Kivilcim Coskun, Martin Margala, Laleh Behjat, Jie Han, editors, Proceedings of the 26th edition on Great Lakes Symposium on VLSI, GLVLSI 2016, Boston, MA, USA, May 18-20, 2016. pages 185-189, ACM, 2016. [doi]
Abstract is missing.