Random variate generation for unimodal and monotone densities

Random variate generation for multivariate unimodal densities

ACM Transactions on Modeling and Computer Simulation (TOMACS)

Toward an extremely-high-throughput and even-distribution pattern generator for the constrained random simulation techniques

Proceedings of the International Conference on Computer-Aided Design

A robust general constrained random pattern generator for constraints with variable ordering

Proceedings of the International Conference on Computer-Aided Design

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

Proceedings of the 50th Annual Design Automation Conference