A Study of Model-Order Reduction Techniques for Verification.

Yi Chou, Xin Chen, Sriram Sankaranarayanan

Browse the full CAV paper archive.