Mark Gogolewski CFO and CTO of Denali Software described the flow they used to verify the latest PCI-x IP in his talk "Beyond Endless Verification: Delivering High Quality at Low Expense". Everyone faces the challenges imposed on designs by extensive verification, and want to achieve two seemingly incompatible goals; higher quality and lower costs.