Automatic Constraint Based Test Generation for Behavioral HDL Models | IEEE Journals & Magazine | IEEE Xplore