Robust Watermarking for IC Physical Design IP Production Physical design watermarking on contemporary integrated circuit (IC) layout encodes signatures without considering the dense connections and design constraints, which could lead to performance degradation on the watermarked products. We develop ICMarks, a quality-preserving and robust watermarking framework for modern IC physical design. It embeds unique watermark […]
Interior Search for Nonlinear SMT and Application in Verification Surface-mount technology (SMT) formulas over the real numbers can encode a wide range of problems in theorem proving and formal verification. Currently, constraint solving and verification in nonlinear theories over the reals use strategies that are similar to SAT solving. The current algorithms perform top-down global […]
Better Search Methods for Derivative-free Optimization Non-convex global optimization problems are well-known to be NP-hard, and the practical challenge lies in distinguishing the global optimum from exponentially many potential local optima. Existing approaches to non-convex optimization can be largely categorized into sampling-based methods and tree-search methods. Sampling-based approaches explore the solution space through random sampling […]
Optimal Embedding: HypOp Combinatorial optimization is ubiquitous across science and industry. In recent years, the integration of artificial intelligence (AI) into the field of scientific discovery is growing increasingly fluid, providing means to enhance and accelerate research. An approach to integrate AI into scientific discovery involves leveraging machine learning (ML) methods to expedite and improve […]
