LUBIS EDA
LUBIS EDA Launches FormalOS: Infrastructure for Systematic, Scalable Formal Verification
Andes Technology, a leading provider of high-efficiency, low-power 32/64-bit RISC-V processor cores and a Founding Premier member of RISC-V International, today announced the release of Andes AutoOpTune™ v1.0 – an intelligent tool designed to automatically optimize and compile software objects by fine-tuning compiler options. Tailored to meet a wide range of software development demands, AutoOpTune™ streamlines and accelerates performance and code size tuning for software developers.
Andes AutoOpTune™ uses genetic algorithms to intelligently explore over 280 compiler options and identify the optimal settings based on the user’s goals, whether they are to maximize performance, minimize code size, or a balance of both objectives. The tool offers visual insights into the trade-offs of each configuration, empowering developers to make informed decisions without the need for time-consuming manual iterations. With its intuitive interface, AutoOpTune™ enables users to define optimization goals and constraints quickly, visualize result tradeoffs using distribution diagrams, and quickly select their preferred target or apply the best flags to a build configuration.
Benchmark results demonstrate significant improvements across all AndesCore™ RISC-V processors running a range of applications: In code size reduction mode, embedded and audio workloads achieved up to 18% size reduction compared to GCC’s standard code size optimizations. With performance optimization mode, key SPECint2006 benchmarks achieved up to 37% better performance compared to GCC’s highest level of performance optimization. As the name implies, balanced mode makes more modest improvements on both code size and performance, with typical results in the range of 5%-10%. These improvements translate directly to faster load times, lower memory usage, improved performance, and power consumption, key advantages in resource-constrained environments.
Andes AutoOpTune™ is available as a separately licensable plugin of AndeSight™ v5.4 and supports all Andes RISC-V processors. Via simple option tuning and recompilation, developers can gain extra improvements on software projects in development and for silicon that has already been deployed.
“Andes AutoOpTune™ drastically reduces the time and effort needed for software optimization,” said Dr. Charlie Su, President and CTO of Andes Technology. “This release marks a significant milestone in helping developers maximize the performance and efficiency of Andes RISC-V cores.”
For more information, we welcome you to join us at the 2025 RISC-V Summit China, which will take place from July 16 to 19 at the Zhangjiang Science Hall in Shanghai. Andes Technology cordially invites you to visit us at Booth D25 on the 1st floor of the Zhangjiang Science Hall, where we will showcase our latest RISC-V innovations and applications.