Design verification software