Shankar Hemmady. Tutorial T7B: Optimally Addressing Verification Constraint Complexity for Effective Functional Convergence. In Vishwani D. Agrawal, Srimat T. Chakradhar, editors, 25th International Conference on VLSI Design, VLSID 2012, Hyderabad, India, January 7-11, 2012. pages 27, IEEE, 2012. [doi]
Abstract is missing.