Formal Verification Engineer

Vayavya Labs and Tenstorrent partner to accelerate RISC-V hardware and software development through virtual platform modeling. Vayavya Labs Oct 07, 2026, 08:30 ET Vayavya Labs and Tenstorrent are partnering to build SystemC virtual platforms that enable earlier software development and validation for Tenstorrent's RISC-V hardware, reducing integration risks and time to market. BELAGAVI, India and SANTA CLARA, Calif., Oct. 7, 2026 /PRNewswire-PRWeb/ - Vayavya Labs and Tenstorrent are delivering SystemC virtual platforms for Tenstorrent's security and system management IP using the TvastaaVP platform. Vayavya Labs, a Silicon-to-Systems technology solutions company specializing in hardware-software interface tools, ECU virtualization, and SystemC-based virtual prototyping, announced its role as a virtual platform partner to Tenstorrent, an AI compute company building RISC-V-based processors and systems. Since 2024, Vayavya Labs has built and delivered SystemC/TLM virtual platforms modeling subsystems of Tenstorrent's IP portfolio, including security enclave processor (SEP) register complexes, system management controller (SMC) logic, direct memory access (DMA) engines with secure zeroing, boot and fuse infrastructure, and a hardware security module supporting cryptographic operations. These models allow Tenstorrent's software and validation teams to develop, test, and debug against a virtual representation of the hardware well before physical silicon is ready, helping identify integration issues earlier in the development cycle. Vayavya Labs built the models on CSML, its SystemC modeling library, providing Tenstorrent with an open, Accellera-compatible modelling path and a commercial variant tuned for its simulation environment. Vayavya Labs used TvastaaVP to accelerate development while maintaining quality controls. Most recently, Vayavya Labs delivered a phased release of Tenstorrent's Open Chiplet Harness SEP virtual platform on two independent simulation targets and extended the platform with additional system management controller and harness capabilities. "Getting software and validation teams working against accurate models before silicon is available provides a meaningful advantage in this industry, and a faster time to market. It's one of the primary reasons we've continued to deepen our work with Vayavya Labs," said **Aniket Saha, VP of Product Strategy, Tenstorrent**. "Tenstorrent is exactly the kind of production environment where agentic AI for virtual prototyping has to deliver - production IP, demanding schedules, and high quality bars," said Sandeep Pendharkar, CTO & VP Engineering, Vayavya Labs. "What started as a single SystemC modeling engagement has grown into a multi-year partnership precisely because the models hold up under that pressure. As Tenstorrent's RISC-V roadmap continues to expand, we see this as just the beginning of what virtual platforms can do for development velocity." Vayavya Labs and Tenstorrent will discuss this collaboration further at **The Open Frontier**, Tenstorrent's RISC-V ecosystem event in Bengaluru on October 8, 2026, where Sandeep Pendharkar, CTO & VP Engineering at Vayavya Labs, will join the panel "Latest in RISC-V Products & Startups," moderated by Tenstorrent's Divyang Agrawal, VP of RISC-V Cores/IP. About Tenstorrent Tenstorrent is an AI compute company led by CEO Jim Keller - architect of Apple A4/A5, AMD Zen, and Tesla's Full Self-Driving chip. The company builds RISC-V-based AI processors and systems for developers, enterprises, and sovereign infrastructure worldwide. In addition to servers and workstations, Tenstorrent licenses its TT-Ascalon RISC-V CPU and Tensix AI cores to chip designers. Backed by leading technology and financial investors, Tenstorrent has raised more than $1 billion and operates from Santa Clara, Austin, Toronto, Belgrade, Tokyo, and Bengaluru. About Vayavya Labs Vayavya Labs is a Silicon-to-Systems technology solutions company headquartered in Belagavi, India, with a development center in Bengaluru. Vayavya Labs specializes in hardware-software interface tools, Digital Twins, ECU virtualization, ADAS verification & validation services, and agentic AI platforms for SystemC-based virtual prototyping, serving semiconductor and automotive customers worldwide. Media Contact Justin Mauldin, Salient PR, 1 001-737.234.0936, [email protected], salientpr.com SOURCE Vayavya Labs

Vanja Kovinić joins INSAIT as a Ph.D. Student. September 4, 2026 INSAIT is excited to welcome Vanja Kovinić to INSAIT as a new Ph.D. student! Vanja will pursue his Ph.D. in computer vision under the supervision of Dr. Danda Pani Paudel and Prof. Luc Van Gool. His research interests include 3D Computer Vision, Self-Supervised Learning, and World Models. Before joining INSAIT, Vanja worked as an AI Compiler Engineer at Tenstorrent, where he contributed to an open-source MLIR-based compiler and helped expand model support to 500+ AI models across vision, language, and other domains. He also gained research experience at the University of Illinois Urbana-Champaign, working on mixed-precision quantization. Vanja holds a B.Sc. and M.Sc. in Computer Science from RAF, Union University in Belgrade. Welcome to INSAIT, Vanja! INSAIT is looking forward to having you with INSAIT and following your research journey.

ai& and Tenstorrent launch JapanFold, bringing open-source, sovereign drug discovery to Japan. Japan should never have to choose between world-class AI and data sovereignty. JapanFold removes that trade-off entirely - frontier drug discovery, open-source, sovereign, and fully in-country." - David Bennett, CEO and co-founder, ai& YOKOHAMA, JAPAN, September 2, 2026 /EINPresswire.com/ - ai& and Tenstorrent launched JapanFold, a drug discovery platform running on ai&'s sovereign infrastructure, powered by Tenstorrent Galaxy(TM) superclusters. Japanese researchers, pharmaceutical companies, and biotech firms can now access frontier drug discovery models at a fraction of the cost of conventional cloud infrastructure, with every computation running entirely within Japan. JapanFold serves the leading open-source structural biology models: - Boltz-2, OpenFold3, ESMFold-2, OpenDDE, Protenix-v2, RoseTTAFold3, OpenBind-0, and Nesso-1 for structure and binding affinity prediction, - BoltzGen, RFdiffusion 3, and PXDesign for de novo drug design, covering the full discovery workflow from protein folding through drug candidate generation, and - ESMC and SaProt for protein embeddings to support downstream tasks ai& optimizes and serves every JapanFold model on Tenstorrent processors, delivering 1:1 accuracy without the cost premium - because the models scale nearly linearly on Tenstorrent hardware, doubling the number of processors doubles output. "Japan's research community should never have to choose between world-class AI and keeping their data sovereign. JapanFold removes that trade-off entirely - frontier drug discovery, open-source, sovereign, and fully in-country," said David Bennett, CEO and co-founder, ai&. JapanFold is accessible in three ways: - Workbench: Fold and design proteins directly in the browser. No install, no sign-up. - API: One HTTP endpoint for every model at api.japanfold.aiand.com/. - Agent Skill: Plain-language access from Claude Code, Cursor, Codex, and more. "Scalable hardware and open-source models are changing what's possible in biology and drug discovery," said Jim Keller, CEO of Tenstorrent. "Tenstorrent delivers fast, scalable compute, and ai& owns the full stack in Japan. Together, we've turned it into a platform researchers can actually use with JapanFold." The launch of JapanFold is the first step in ai& and Tenstorrent's broader effort to make sovereign, open-source AI infrastructure available to scientific research communities across the region. About ai& ai& is a global AI technology company founded on the simple conviction that whoever owns and optimizes the full stack wins. By integrating next-generation data center infrastructure, heterogeneous compute, and frontier model services into a single optimized platform, ai& gives enterprises and developers the performance, economics, and data sovereignty that no single-layer provider can match. Founded in Japan and expanding globally, ai& is building the foundation for the AI-native future. About Tenstorrent Tenstorrent is an AI compute company led by CEO Jim Keller - architect of Apple A4/A5, AMD Zen, and Tesla's Full Self-Driving chip. The company builds RISC-V-based AI processors and systems for developers, enterprises, and sovereign infrastructure worldwide. In addition to servers and workstations, Tenstorrent licenses its TT-Ascalon RISC-V CPU and Tensix AI cores to chip designers including Samsung and LG. Backed by Bezos Expeditions, Samsung, LG Electronics, Hyundai Motor Group, Fidelity, and others, Tenstorrent has raised over $1B+ and operates from Santa Clara, Austin, Toronto, Belgrade, Tokyo, and Bangalore. Legal Disclaimer: EIN Presswire provides this news content "as is" without warranty of any kind. Healthcare Industry Today do not accept any responsibility or liability for the accuracy, content, images, videos, licenses, completeness, legality, or reliability of the information contained in this article. If you have any complaints or copyright issues related to this article, kindly contact the author above.