Hardware Acceleration for Constraint Solving for Random Simulation | IEEE Journals & Magazine | IEEE Xplore