Constraint-based random stimuli generation for hardware verification.: An article from: AI Magazine
Multi-sistem (Prozah)