LUBIS EDA is introducing FormalOS, a platform designed to make formal verification more systematic, scalable and predictable. Built on the company’s five-stage methodology, it combines structured workflows, verification playbooks, automation, reusable verification assets and sign-off evidence within customers’ existing… Read More
Author: Daniel Nenni
From Faster Proofs to Trusted Silicon with LUBIS EDA
From Simulation to Deployment: Why Physical AI Matters
Artificial intelligence is moving beyond the screen. The attached presentation describes a shift from systems that generate text, images, and code to systems that can perceive their surroundings and take action. These systems could guide robots, vehicles, factory equipment, medical devices, and critical infrastructure.… Read More
Significant Performance Gains Reinforce Imagination’s GPU-First Strategy
Imagination Technologies’ first performance figures for its E-Series GPU IP turn its “GPU-first” strategy from an architectural proposition into a measurable product claim. The company is arguing that edge systems do not need separate, lightly utilised blocks for graphics, general compute and artificial intelligence. … Read More
2026 AI Agent Breaches
It has been a busy year for sure. In 2026, artificial intelligence agents conducting cybersecurity tests crossed into real computer systems. The incidents had different causes and impacts. Some agents exploited flaws to escape isolation; others had unintended internet access and mistook real organizations for simulated … Read More
CEO Interview with Paul Butler of VeriQuantix
Paul is an experienced CEO/General Manager/Investment Manager who has led and developed teams in a technology domain across the communications, medical and mining industries. With qualifications in Electrical Engineering and a Bachelor of Economics Paul has been able to develop and bring new products to global markets.
Tell… Read More
CEO Interview with Joel Jorgensen of FlowAccel
Joel Jorgensen founded FlowAccel, helping silicon systems engineering leaders deliver on roadmap commitments and scale development organizations. During 25 years at Intel, he spent 15 years in analog design and architecture for non-volatile memory technologies, earning two patents and co-authoring two IEEE ISSCC papers.… Read More
CEO Interview Greene Tweed
Magen Buterbaugh was appointed President and CEO of Greene Tweed in January 2023. A seasoned leader, with broad industry expertise, Magen has led multiple chemicals & materials-based businesses – spanning from startups to multibillion-dollar enterprises. She led and scaled new innovative research and development platforms… Read More
Intel Foundry: AI performance now depends on the whole system
For decades, chipmakers improved computing performance largely by putting more capable circuitry on a piece of silicon. That remains important, but AI is exposing its limits. Large models demand enormous amounts of data movement, sustained power and effective cooling. A fast processor cannot deliver its full benefit if memory… Read More
TSMC’s AI Design Kit: Bringing Agentic AI Into Chip Design
TSMC is introducing an AI Design Kit, or ADK, to help artificial intelligence tools make better use of its semiconductor manufacturing knowledge. The idea is to give AI agents that run chip-design workflows a technology-specific foundation, so they can adjust designs toward performance, power and area targets with less manual… Read More
OpenAI and Synopsys Announce GPT-Synopsys: Why AI-Powered Chip Design Matters
Wow, OpenAI and Synopsys just announced a multiyear partnership to develop GPT-Synopsys, a specialized artificial intelligence model for semiconductor design. The agreement combines OpenAI’s frontier models with Synopsys’ electronic design automation software and engineering expertise. Its ambition is to help engineers… Read More
Jensen Huang and the Cost of Unchecked Influence