Citation: F. Fallah et al., Functional vector generation for HDL models using linear programming and Boolean satisfiability, IEEE COMP A, 20(8), 2001, pp. 994-1002
Citation: F. Fallah et al., OCCOM - Efficient computation of observability-based code coverage metricsfor functional verification, IEEE COMP A, 20(8), 2001, pp. 1003-1015