A robust constraint solving framework for multiple constraint sets in constrained random verification

作者：Bo-Han Wu, Chung-Yang (Ric) Huang