Race a word-level atpg-based constraints solver system for smart random simulation | IEEE Conference Publication | IEEE Xplore