A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling - Castro Márquez, Carlos Iván; Tobar, Edgar Leonardo Romero; Strum, Marius; Wang, Jiang Chau (Journal of Electronic Testing, 2011)