[Industrial & Applications] Faster Coverage Convergence with Automatic Test Parameter Tuning in Constrained Random Verification

[hqjenny]

Authors: Qijing Huang, Hamid Shojaei, Fred Zyda, Azade Nazi, Shobha Vasudevan, Sat Chatterjee, Richard Ho
Emails: {hqjenny, hamids, zyda, azade, shovasu, schatter, riho}@google.com
Paper PDF: https://capra.cs.cornell.edu/latte21/paper/31.pdf
Talk Recording: https://youtu.be/HbGRaXNwBm8