As the AI computing race accelerates and semiconductor manufacturing capacity is increasingly redirected toward advanced memory, the memory industry is shifting from price-driven competition to a battle over resource allocation and supply security. The rapid expansion of high-bandwidth memory (HBM) production continues to consume advanced fabrication capacity, constraining the supply of conventional memory products and creating persistent shortages across the market. This concentration of high-end production has widened the supply-demand gap, driving the average selling prices of certain premium memory products to levels eight to ten times higher than previous norms

Rugged edge computing brand – Cincoze will showcase its latest embedded computing solutions at COMPUTEX Taipei 2026, from June 2–5 (Hall 2, Booth Q0401a). Cincoze will display its full range of edge computing solutions around the theme of "Smarter, Faster, More Reliable - Powered by Edge AI" encompassing the full spectrum of edge application environments in four dedicated zones, including DIN-Rail computers, industrial panel PCs and monitors, rugged embedded computers, and GPU embedded computers

Technology news, product launches and show highlights from the event attendees available for download (PDF).

By now, it's common knowledge that artificial intelligence has sped up coding and is now replacing junior software engineers. But can you really trust the code that AI produces?The answer is a clear no. Programmers are still needed to review the code for bugs of all sorts. Maybe the code hallucinates, meaning that it has the right syntax and looks plausible but attempts to, for example, import a library that doesn't exist. Maybe there are functional bugs, where the code simply produces the wrong result because of a faulty algorithm and these are just the simple errors.Moreover, companies are naturally hesitant to release sensitive or proprietary information, such as customer data, to an AI coding tool.Inferara wants to solve these problems. It wants to give you code on which you can rely, free from any vulnerabilities, and it does this by reformulating the code into mathematical notation. This is all done on the user's own computing infrastructure, so that no code or data is ever shared externally.Georgii Plotnikov is the CEO and CTO of Inferara. Originally from Russia, Plotnikov had been working as a software developer for a decade after graduating from university. Roughly five years ago, he started learning more about static code analysis, which can be likened to a real-time spell-checker for code: it is, essentially, early detection for any bugs or security vulnerabilities in the code.He started developing an idea for a new way to turn static code analysis into a mathematics problem at the end of 2023. Around the same time, he started to explore where he could settle down and legally incorporate his company. Plotnikov decided on Japan, sent his business plan and other documents to the country,s government, and after being awarded a startup visa, moved there in the summer of 2024. (Inferara is a relatively young company, incorporated only in October 2024.)Unlike many AI companies, which focus on their product and want to get them out to market as quickly as possible, Inferara is proud to call itself a research-first company. Its main product is not the code checker but rather Inference, which he describes as "a programming language that uses mathematics to ensure code works exactly as intended".This is also known as formal verification, and being formally verified gives programmers and users an additional layer of assurance that, for instance, cryptographic protocols will keep data secure, or that compilers for programming languages will not make mistakes. It's also important for mission-critical processes, such as those in automated (driver-less) driving systems, financial systems, energy plant controls, and medical devices.In a nutshell, formal verification examines all possible states that the (usually finite number of) variables or parameters can take, in order to ensure that the logic is sound. In contrast, simply testing the system with common values that the variables might take might not reach all possible states, especially as the number of variables increases, and it will definitely not reach all possible states when there are an infinite number of variables (or values that the variables can take).Mathematical proofs can group variables together and reduce the total number of states that need to be explored. They can even use mathematical induction to verify an infinitely large number of states.Traditionally, programmers have needed a sophisticated understanding of mathematical logic to manually perform formal verification. Inferara's Inference programming language performs formal verification as one codes (or as AI codes) and makes it possible for even those with no understanding of mathematical logic to guarantee their code's fidelity. Inference's diagnostics are also developed so that both humans and AI coding agents can interpret them and, thus, use them to improve the code's reliability.Inference builds upon and improves the user experience of using Rocq, a piece of software that can assist in mathematical proofs. Plotnikov says that Inference sets itself apart by working what appears to be slowly. Instead of writing code as quickly as possible, it continually checks the code's correctness as it is being generated. This takes more time but, in the end, is more cost-effective, since it requires fewer calls to AI later on. Plotnikov likens this to the slower, more rational and conscious system of thinking described in Daniel Kahneman's bestselling book Thinking, Fast and Slow.Inferara has now taken the next step beyond Inference: It has created Vibe Checker, an operating system that can encapsulate the entire AI-led code-development process. In addition to its own desktop AI agent, Vibe Checker is compatible with the existing, widely-used coding agents of Claude Code, Gemini, and Codex.Most companies currently using AI-assisted coding typically do so via the cloud (i.e., off-premises). Although the code and data is stored under the programmer's domain, all that information traverses multiple external barriers when being run. Vibe Checker provides its own gateway, comprising its own server and the user’s own cloud computing security model (also known as bring-your-own-encryption, bring-your-own-key, or BYOK). Vibe Checker's most data-secure services will host everything on users' own infrastructure, and is appropriate for those users who have the resources to buy their own hardware. There is total data sovereignty: no data ever leaves the user's infrastructure, nothing is ever uploaded to Inferara's servers, and everything can be run even without internet access. An audit trail also logs every action taken by a coding agent.Vibe Checker does more than just check code. It's a multifunctional checker, or task-agnostic, and can audit any AI-generated system for functional errors and security vulnerabilities. Law firms can use it to summarise case files and contracts; researchers and policy analysts can use it to verify their database queries; finance departments can check their tax filings; hospital clinicians can manage their patient records; and banks and insurers can double-check their regulatory submissions.Privacy is essential in all of these aforementioned applications, and Vibe Checker enables on-premise analysis with links and citations referring back to the original source of the information – in other words, no hallucinations.Plotnikov says that Inferara will clearly benefit from the 500,000 NTD prize money from the Best AI Awards. However, the most important reward is the valuable feedback from those working in the industry, telling them that what they are doing makes sense and has commercial value. The award will also help Inferara get its name out and allow them to approach and demonstrate their technology to potential partners; in fact, Inferara is currently in discussions with several companies in Taiwan. In particular, they are interested in working with Taiwan's semiconductor and chip industry, which can provide the hardware supply chain for their product.In the next few months, they plan to deploy Vibe Checker to several companies who will serve as beta-testers, including several Taiwanese companies. They also intend to establish a legal entity in Taiwan, and have plans to work with the Centre of Industry Accelerator and Patent Strategy (IAPS) at the National Yang Ming Chiao Tung University.The Best AI Awards celebrate global excellence in artificial intelligence and IC design, welcoming submissions from innovative companies and brilliant student teams. Following the success of the 2026 edition—advised by the MOEA, organized by DoIT, and executed by TCA—the prestigious competition is officially transitioning into an annual tradition.Offering substantial grand prizes and unmatched industry exposure, the countdown to Best AI Awards 2027 has already begun. Details on the next submission cycle, prize tiers, and eligibility rules will be released soon. Connect with us on LinkedIn for the latest official updates and application alerts.

As artificial intelligence (AI), high-performance computing (HPC), high-speed networking, and edge computing applications continue to expand rapidly, global demand for custom ASIC solutions is rising at an unprecedented pace. Faced with the escalating design complexity and development costs associated with advanced process nodes at 6/5/4/3nm, balancing time-to-market, cost efficiency, and production quality has become a critical challenge for IC design companies and system vendors worldwide.PGC (TPEx: 8227), with over 35 years of expertise in ASIC design services, is a member of the TSMC Design Center Alliance (DCA) and a Synopsys IP OEM Partner. With a track record of more than 1,500 tape-out projects and over 100 tape-outs completed annually, PGC delivers comprehensive capabilities spanning advanced-node design, APR (Automatic Place and Route), back-end design services and tape-out foundry services, and volume production ramp. In response to growing market demand for advanced-node ASIC development, PGC announces the further enhancement of its Customer-Owned Tooling (COT) business model, integrating ASIC design services, IP resources, and semiconductor supply chain ecosystems to help customers shorten chip development cycles, accelerate tape-out, and rapidly secure engineering samples and production capacity.COT Business Model: Balancing Design Ownership with Development EfficiencyThe COT business model enables customers to retain ownership of critical design assets — including IP, EDA tool licenses, and design data — preserving their core intellectual property and technical autonomy while leveraging PGC's professional ASIC design team and proven design flows to jointly complete chip development. Compared to traditional turnkey models, COT effectively reduces long-term NRE (Non-Recurring Engineering) investment, eliminates vendor lock-in, and enhances flexibility for product iteration, multi-project development, and cross-generation platform continuity.In practice, customers adopting the COT model have achieved development cycle reductions of over one month, along with long-term NRE cost savings of more than 10%, giving them greater autonomy and strategic flexibility in product planning and technology roadmap execution.Synopsys IP OEM Partnership: Lowering IP Licensing Barriers and Accelerating DevelopmentAs a Synopsys IP OEM Partner, PGC provides customers with comprehensive Synopsys IP licensing and integration services. Customers can flexibly incorporate market-proven, high-quality IP based on project requirements, simplifying licensing processes, lowering upfront investment thresholds, and accelerating IP integration and verification through PGC's expertise — further shortening ASIC development cycles and time-to-market.ASE Packaging and Test Integration: Bridging Design to Volume ProductionIn the area of packaging and test, PGC has established a close collaboration with ASE Group, integrating advanced packaging and test resources to provide customers with comprehensive production support from wafer to finished product. This collaboration covers BGA, Flip Chip, and Wire Bond packaging and full test services, helping customers accelerate production ramp while ensuring shipping quality and reliability.One-Stop Solution: End-to-End Support from Design to Mass ProductionBeyond ASIC design services, PGC offers a diverse range of prototyping options, including TSMC CyberShuttle (suited for early-stage design verification, leveraging multi-project wafer sharing to reduce prototyping costs) and VIS (Vanguard International Semiconductor) MPW (suited for specialty process or mature node requirements), enabling customers to complete engineering sample verification with maximum flexibility.PGC delivers a comprehensive one-stop solution encompassing ASIC design, IP integration, APR, DFT, tape-out, prototype verification, packaging and test (OSAT), and volume production ramp，complemented by professional back-end design services  and complete tape-out foundry services, helping customers rapidly obtain engineering samples, complete product validation, and seamlessly transition to mass production, significantly compressing time-to-market.PGC CEO Fred Lai stated: "In a market environment where AI and HPC applications continue to drive demand for advanced-node solutions, customers need more than a design service provider — they need a comprehensive partner capable of integrating IP, design, prototyping, and volume production. By enhancing our COT business model and deepening our three-way ecosystem collaboration with TSMC, Synopsys, and ASE, our goal is to help customers reduce their ASIC development cycles by more than 10%, bringing innovative products to market faster."Looking ahead, as demand for AI inference chips, HPC accelerators, and high-speed networking ASICs continues to grow, PGC will continue to expand its advanced-node service capabilities and further extend its customer reach into the US market, empowering global customers to seize opportunities in the advanced-node semiconductor landscape.PGC Boosts COT Model, Integrates TSMC Ecosystem for ASIC Growth. Credit: PGC

The data center industry is undergoing its largest structural transformation in the past decade due to the rapid development of generative AI. As AI models drive growing demand for GPUs, high-speed connectivity, and high-density computing, data center requirements are evolving beyond traditional colocation services to encompass comprehensive upgrades in power supply, cooling, networking, and overall infrastructure architecture. At the recent DIGITIMES 2026 Enterprise Data Center Forum, Chunghwa Telecom Senior Engineer Hsueh Jen-Hao presented "Meeting the AI Challenge: The Evolution of Data Center Requirements and Infrastructure Upgrade Strategies," outlining Chunghwa Telecom's key strategies for responding to the AIDC (AI Data Center) trend and helping enterprises plan their AI computing capacity. Hsueh Jen-Hao noted that power demand per rack has surged from the traditional 2 kW to 5 kW range to 100 kW and even 200 kW. This underscores that the AI era is driving not merely an upgrade of data center equipment, but a paradigm shift across data center design, cooling architecture, energy management, and cross-border network connectivity. AI Servers Drive Higher AIDC Service StandardsHsueh Jen-Hao described AIDC as a "five-star hotel," illustrating the fundamental transformation in the nature of data center services. As AI servers are high-value, power-intensive, and highly sensitive to environmental conditions, data centers must not only operate around the clock without interruption, but also maintain stable temperature and humidity levels, power supply, and network quality, while adjusting environmental conditions in accordance with customers' SLA requirements.To meet the operating environment required by AI servers, Chunghwa Telecom is also upgrading the infrastructure of its data centers. Hsueh Jen-Hao noted that with a single rack often weighing more than 1,250 kilograms, data center floor loading requirements have increased significantly from 500 kg/m2 to 2,000-2,500 kg/m2. Structural specifications are now approaching those of heavy industrial facilities, redefining the conventional concept of an IT data center. Furthermore, the rapid rise in rack power consumption has pushed cooling requirements beyond the limits of traditional air-cooling systems. From Air to Liquid Cooling: Chunghwa Telecom Delivers Customized SolutionsAI computing has driven a dramatic increase in rack power density, from 30 kW-132 kW for NVIDIA H100 clusters to 140 kW per rack for the liquid-cooled GB200 NVL72 architecture. In response to this trend, traditional downflow air-conditioning systems and fan-wall cooling systems, which can support only up to approximately 20 kW, are gradually becoming unable to meet the cooling requirements of next-generation servers.To address the surge in cooling demand driven by AI computing, Chunghwa Telecom is actively introducing liquid-cooling technologies and tailoring solutions to individual customer requirements. From facility planning and design to project management, Chunghwa Telecom offers one-stop services to deliver the essential infrastructure needed for high-density AI computing, including cooling systems, power distribution, and power backup mechanisms. Through flexible modular designs, the data centers can be expanded alongside customers' business growth, satisfying the requirements for large-scale computing and data processing. Hsueh Jen-Hao noted that driven by both the thermal demands of AI servers and international regulations incorporating data center energy performance, liquid cooling solutions are gradually becoming a standard configuration for AIDCs. AIDC Ecosystem Expansion: Green Energy, All-Photonics Networks, and Submarine CablesIn response to the AI wave and the growing adoption of innovative applications, Chunghwa Telecom is not only enhancing cooling technologies within its data centers, but is also pursuing a comprehensive strategy spanning energy, networking, and submarine cable infrastructure. First, Chunghwa Telecom launched its Green Energy AIDC initiative in 2020. As of 2025, approximately 40% of the electricity consumed by its data centers came from renewable energy sources. The company aims to achieve its sustainability goal of powering data centers with 100% renewable electricity by 2030. Second, as cross-regional collaboration and data exchange continue to expand rapidly, high-bandwidth, low-latency connectivity has evolved from a competitive advantage into a fundamental requirement for data centers. To support the development and advancement of internet technologies, Chunghwa Telecom is promoting reference architectures, frameworks, and specifications for next-generation ICT infrastructure centered on all-photonics networks (APN), meeting the increasingly stringent requirements of innovative applications and AI computing for power efficiency, bandwidth, and latency. In addition, Chunghwa Telecom is Taiwan's first and currently only telecommunications operator to serve as a board member of the IOWN Global Forum.Hsueh Jen-Hao noted that the attractiveness of a data center location is directly proportional to the availability of local submarine cable resources. The continued growth of data centers in Hong Kong and Singapore, for example, is largely attributable to their roles as major international submarine cable hubs in Asia. To this end, Chunghwa Telecom has continued to invest in Taiwan's submarine cable infrastructure. On the international front, in addition to the completed SJC2 submarine cable system, the APRICOT system is also scheduled for completion in 2027. To enhance domestic network resilience, the Taiwan-Penghu-Kinmen-Matsu No. 4 submarine cable is expected to be completed in 2026. As these submarine cable projects come online, they will not only significantly strengthen Taiwan's international connectivity, but also provide a solid infrastructure foundation for cross-border AI computing and the deployment of international data centers.From floor loading capacity and liquid-cooling technologies to renewable energy initiatives, all-photonics networks, and submarine cables, Chunghwa Telecom's data center investments in recent years may appear to span different domains. However, they are all guided by the same strategic objective: systematically strengthening data center infrastructure to support enterprise AI adoption, ensure uninterrupted operations, and enhance Taiwan's competitiveness in the AI era.