Arm’s Architecture Formal Team Recognized for Outstanding Engineering Innovation
The Architecture Formal Team at Arm plays a vital role in defining how the systems designed by Arm behave, which formalizes certain parts of the Arm architecture.
The team’s innovative work was officially recognized by the UK engineering community, as it was presented with the Royal Academy of Engineering’s Colin Campbell Mitchell Award at the Royal Academy of Engineering’s Fellow Day in London on 6th June 2024.
This award is given to an engineer, or team of engineers, who have made an outstanding contribution in any field of UK engineering within the past four years. The Architecture Formal Team who received the award includes Professor Jade Alglave FREng, Dr Artem Khyzha, Dr Roman Manevich, Dr Nikos Nikoleris, Hugo O’Keeffe, and Hadrien Renaud (pictured below).
The team’s work originated from Jade and Luc Maranget who created a mathematical model for an area of the Arm architecture called the memory model. This describes how concurrent programs written using Arm assembly instructions should behave.
In the context of silicon design, concurrency is vital because multiprocessor chips feature several processing elements that perform tasks in parallel. These processing elements need to communicate with one another to perform computing tasks, which may lead to subtle bugs.
Arm’s EVP and Chief Architect Richard Grisenthwaite recognized the potential value of Jade and Luc’s work nearly a decade ago, which led to Jade joining Arm and then creating and growing the Architecture Formal Team. The creation and subsequent expansion of the team is in recognition of the importance of formal specifications in the technology industry, which are now seen as relatively feasible industrial investments.
The Architecture Formal Team is responsible for maintaining and enhancing the formal memory model of the Arm architecture. The model can also be used to look for bugs in chip designs ahead of deployment, which is important since fixing hardware afterwards can be expensive and time consuming. The team is also developing a formal and executable definition of the Architecture Specification Language (ASL), which is used at Arm to describe how instructions operate. Both these efforts should lead to more reliable and predictable computing systems.
The work of the team has already had an impact, with Arm’s original informal prose memory model description now replaced with a specification which is automatically generated from the formal model created by the team. This is a unique and innovative approach to formal specifications in the technology industry.
Richard Grisenthwaite, EVP and Chief Architect at Arm, says: “Knowing exactly how systems behave is of paramount importance in chip design. I’m extremely proud of the team’s achievement and this work will empower chip designers to detect bugs in their designs earlier, enabling more efficient and secure Arm-based computing systems, with device functionality being further enhanced.”
The models are publicly available [1] and the tools are open-source [2,3], allowing researchers to use industrial models and widening the impact of their work. Hardware and software vendors can also use the models and tools to check the compliance of their systems.
The work of the Architecture Formal Team exemplifies Arm’s continuous efforts to deliver the very best architecture and supporting features to our broad ecosystem of partners. This is enabling them to build and create the very best computing systems, devices and experiences on Arm.
[1] https://developer.arm.com/herd7
Any re-use permitted for informational and non-commercial or personal use only.
Editorial Contact
Latest on Twitter
🗓️ Join us on Wednesday July 31 for our next financial results conference call.
After market close, we'll report our earnings results for the first quarter of fiscal year 2025, followed by a conference call to review our results and business outlook: https://okt.to/koqGT0
The "Write Once, Deploy Everywhere" approach to code is key to seamless deployment for developers.
Through expert talks and demos @WeAreDevs, we demonstrated how this is a game-changer for building and deploying next generation apps at scale.
Thanks to everyone who joined us!🙌
With the escalating need for power-efficient systems, @FujitsuFNC's turned to Arm to build the FUJITSU-MONAKA CPU - a processor designed to help achieve energy savings of 40% in Japanese data centers by 2030.
+ That's without compromising AI innovation: https://okt.to/WM0F3A
Arm KleidiAI brings 30% performance improvements to @Google AI Edge's MediaPipe and XNNPACK running the Gemma 2B LLM. 💪
This is the first integration of many, as we enable more LLMs to run as effectively and efficiently as possible on Arm mobile CPUs: https://okt.to/qLW8He
Flooding can happen anytime, but early warning systems can help reduce its impact on communities and protect lives.
We're proud to work with @UNICEF_uk and support the team in Karonga, Malawi to bring the latest in flood alert technology to communities:
How can developers stay ahead in the age of AI?
Andy Wafaa shares details on the tools required to optimize code, increase accessibility, and shape the future of computing at @WeAreDevs World Congress: https://okt.to/wJakX3
Since 2012, Raspberry Pi's been changing the game for businesses in the ecosystem.🚀
Founder & CEO, Eben Upton shares the origin story of Raspberry Pi and why he chose Arm as the architecture of choice:
Interview recorded in Jan 2023.
Arm Education in Conversation with Eben Upton
In this episode, we interview Eben Upton, founder and CEO of Raspberry Pi (Trading) Ltd. Eben shares with us the...
okt.to
In the age of AI, collaboration is crucial to solve technological and societal challenges.
Together with a group of academics at our Cambridge office, we've developed a "Call for Action," identifying the steps needed to ensure AI adoption in both the public and private sectors.
Ready to upscale your mobile game development without losing performance?
👉 Say hello to Arm Accuracy Super Resolution
It's our open source solution derived from FSR2, designed to increase the resolution of images from low to high with our efficient shader code:
.@AWSCloud Graviton4 is here! 🙌
Announced in GA, Graviton4 uses Arm Neoverse V2 to provide the most powerful, energy efficient AWS processor to date.
It follows 5+ years of collaboration on Graviton to enable CPU silicon innovation in the Amazon Cloud: https://okt.to/UWM0FR
Proud to partner with @AlzheimersBRACE to support dementia research and foster community. 🤝
From running the Bristol Half-Marathon to raising £2K+ for charity and spreading awareness, shoutout to our team for making a real impact. 💙
Not sure where to start with running Llama models? We've got you. Our 🆕 learning path teaches you how to build and run a simple Android Chat app with different Llama models using ExecuTorch and XNNPACK.
Dive into the step-by-step guide in the link below.
⚡ Silicon is defining and revolutionizing technology.
With the help of our partners, we're at the forefront of its evolution, driving innovative new approaches to silicon design with CSS and chiplets to define the future of computing.
More in @WSJ. 👇
Paid Program: The Evolution of Silicon
From Moore’s Law to today’s modern designs for AI, silicon is defining technology markets now and in the future.
okt.to
Arm CSS for Client is unleashing the power of the Armv9 architecture for AI innovation.
CSS for Client delivers physical implementations across Arm CPUs and GPUs, simplifying SoC builds for the fastest path to production silicon.
Learn more👇 https://okt.to/Q3yLjc
The advancements in large multimodal models and GenAI herald a new era in AI robotics.
That’s why tomorrow's robotics are harnessing the power of LLMs to improve energy efficiency, security, and functional safety.
🦾 And it's all happening #onArm: https://okt.to/6nbZ9m
The world's leading AI companies are prioritizing data center efficiency to scale and grow. And they're doing it #onArm.
Arm CMO Ami Badani joined The Artificial Human Podcast to discuss why efficiency is crucial to driving AI innovation.
The Artificial Human - How green is my AI? - BBC Sounds
Aleks Krotoski and Kevin Fong ask, how green is my AI?
okt.to
Here's a glimpse of our #INWED24 celebrations in Kenya, Ghana and Switzerland.
The Arm-Ambassador-led events brought everyone together to celebrate the significant impact of women engineers and to inspire future innovators to help bridge the STEM gap: https://okt.to/9ZAuna
Find $ARM in the Nasdaq-100 Index from today. 🙌
As we go from strength-to-strength as a public company, we're excited to join industry leading companies on the @Nasdaq stock exchange, emphasizing the importance of Arm tech among the global ecosystem: https://okt.to/gpRsAe
Create the best possible AI experiences with KleidiAI. ⚡
KleidiAI provides a collection of highly optimized AI kernels that can be embedded directly into popular AI frameworks as part of Kleidi Libraries.
Ready to reap the benefits?
🥳 Our partners @HPE and @NVIDIA are making turnkey private-cloud AI a reality!
Announced this week, NVIDIA AI Computing by HPE brings the power and efficiency of Grace Hopper Superchips, built #onArm, to the HPE ProLiant Compute DL384 Gen12 server.
HPE ProLiant Compute DL384 Gen12 | HPE Store United Kingdom
okt.to
For #WorldRefugeeDay, we're celebrating our partnership with @Refugees & @UNRefugeesUK to ensure AI tools for humanitarian efforts are used responsibly.
By supporting @UNHCRinnovation, we can ensure diversity is built into tools from the ground up:
We're putting the foundations in place for a thriving, diverse, chiplet ecosystem in Automotive.
From participation in @imec_int's Automotive Chiplet Program, to our role in SOAFEE, here's how we're ensuring interoperability and performance for chiplets: https://okt.to/eBfYgd
Here's to our fantastic, award-winning Internal Comms team. 👏
At the #ICEAwards, the team took home 3️⃣ awards for:
⭐ Best event
⭐ Best Internal Comms from the tech, media and telecommunications sector
⭐ Best Internal Comms Campaign in a large business under 10,000 employees
Rene Haas joined the Samsung Foundry Forum to discuss our almost 30-year partnership and the possibilities of Arm CSS.
By removing the complexity from SoC development, Arm CSS enables our partners to move faster in the age of AI, with the support of partners like Samsung.
