Combinatorial methods have the potential for enormous savings in chip verification and testing.
Additionally, quantitative measures of test completeness can be provided, going beyond current capabilities of conventional chip verification test methods.

Security and Privacy: assurance, modeling, testing & validation
Technologies: semiconductors, software & firmware