Talk:Design space verification