SAN FRANCISCO — Denali Software Inc. announced support for the AMD Opteron processor and AMD64 architecture.
Denali (Palo Alto, Calif.) said it has deployed its MMAV and PureSpec verification intellectual property (IP) products with full support for AMD64 processor-based systems running 64-bit Linux.
"Many of our customers are now taping out designs with 50 to 100 million gates," said David Lin, Denali's vice president of product marketing, in a statement. "Running PureSpec and MMAV on AMD Opteron processor-based systems provides an advantage to these customers who have demanding requirements in terms of capacity, performance and reliability."