Welcome!

News Feed Item

Barefoot Networks Turns to Oski Technology for Formal Verification Expertise

Formal Verification Experts From Both Companies Worked to Verify World's Fastest and Fully Programmable Ethernet Switch Chip Design

MOUNTAIN VIEW, CA -- (Marketwired) -- 09/22/16 -- Oski Technology, Inc., the world's only dedicated formal verification service provider, today announced that its formal verification experts enabled Barefoot Networks, a pioneer in building user-programmable and high-performance forwarding planes, with verification of the design for the company's Tofino™ switch chip. Barefoot's Tofino chip processes packets at 6.5 terabits per second and is also fully programmable.

Barefoot Networks turned to Oski Technology for assistance with verifying the design of the Tofino chip, knowing that Oski had experience making formal verification scale to designs as complex as that of Tofino, which includes breakthrough programmable packet processing technology. The team of formal verification experts from Barefoot Networks and Oski Technology used a broad variety of advanced formal verification techniques to verify the switch's complex interconnect.

"Oski Technology's formidable formal verification team played an important role in helping us verify critical portions of our Tofino chip, which is the fastest switch ever built," says Dan Lenoski, Barefoot Networks' Co-Founder and Vice President of Engineering. "Everyone assigned to our project was highly knowledgeable and dependable, which was absolutely critical to the credibility of a startup, especially against an aggressive schedule."

Amit Joshi, Oski Technology's Vice President of Engineering, adds: "The Barefoot Tofino switch chip's fully programmable architecture, even at industry leading bandwidth, created challenges for formal verification that Oski Technology was able to help address and solve. It has been a pleasure working with the team at Barefoot Networks. The company's emphasis on quality, the caliber of the team, the elegance of their design and the pace of development are nothing short of exhilarating."

About Barefoot Networks

Barefoot Networks launched in 2016 after two years of developing the most programmable and -- at 6.5Terabits/second -- the fastest switches ever built; twice as fast as any previous chip on record. By enabling organizations to define the network data plane in software, Barefoot empowers network owners and their infrastructure partners to design, optimize, and innovate to meet their specific requirements and gain competitive advantage. In combining the P4 open-source programming language with fast programmable switches, Barefoot has also created an ecosystem of compilers, tools, and P4 code to make P4 accessible to anybody. Barefoot's founders -- Nick McKeown, Martin Izzard, Pat Bosshart, and Dan Lenoski -- bring the company more than 100 years of experience in building the fastest and biggest networking systems in the world. Backed by Google Inc., Goldman Sachs Principal Strategic Investments, and premier venture capital firms Sequoia Capital, Lightspeed Venture Partners, and Andreessen Horowitz, Barefoot Networks is headquartered in Silicon Valley. For more information, visit http://www.barefootnetworks.com. Follow us on Twitter: @barefootnetwork

About Oski Technology

Oski Technology is a formal verification services company with expertise in deploying formal verification on complex digital designs. Oski Technology has developed a unique Formal Sign-off Methodology and Oski Abstraction Models to solve challenging capacity problems with formal verification. Its formal methods bring a higher level of productivity than traditional simulation and formal verification approaches. Oski Technology, headquartered in Mountain View, Calif., with a design center in India, has built a team of the world's foremost experts in formal verification. More information about Oski Technology can be found at: www.oskitechnology.com

Formal Sign-off Methodology is a trademark of Oski Technology, Inc. Barefoot Networks, the Foot Logo and Tofino are trademarks of Barefoot Networks. All trademarks and registered trademarks are the property of their respective owners.

For more information, contact:
Nanette Collins
Public Relations for Oski Technology
(617) 437-1822
Email Contact

Gary Good
Public Relations for Barefoot Networks
(707) 837-1718
Email Contact

More Stories By Marketwired .

Copyright © 2009 Marketwired. All rights reserved. All the news releases provided by Marketwired are copyrighted. Any forms of copying other than an individual user's personal reference without express written permission is prohibited. Further distribution of these materials is strictly forbidden, including but not limited to, posting, emailing, faxing, archiving in a public database, redistributing via a computer network or in a printed form.

Latest Stories
"My role is working with customers, helping them go through this digital transformation. I spend a lot of time talking to banks, big industries, manufacturers working through how they are integrating and transforming their IT platforms and moving them forward," explained William Morrish, General Manager Product Sales at Interoute, in this SYS-CON.tv interview at 18th Cloud Expo, held June 7-9, 2016, at the Javits Center in New York City, NY.
More and more companies are looking to microservices as an architectural pattern for breaking apart applications into more manageable pieces so that agile teams can deliver new features quicker and more effectively. What this pattern has done more than anything to date is spark organizational transformations, setting the foundation for future application development. In practice, however, there are a number of considerations to make that go beyond simply “build, ship, and run,” which changes ho...
The Internet of Things can drive efficiency for airlines and airports. In their session at @ThingsExpo, Shyam Varan Nath, Principal Architect with GE, and Sudip Majumder, senior director of development at Oracle, will discuss the technical details of the connected airline baggage and related social media solutions. These IoT applications will enhance travelers' journey experience and drive efficiency for the airlines and the airports. The session will include a working demo and a technical d...
Kubernetes is a new and revolutionary open-sourced system for managing containers across multiple hosts in a cluster. Ansible is a simple IT automation tool for just about any requirement for reproducible environments. In his session at @DevOpsSummit at 18th Cloud Expo, Patrick Galbraith, a principal engineer at HPE, discussed how to build a fully functional Kubernetes cluster on a number of virtual machines or bare-metal hosts. Also included will be a brief demonstration of running a Galera M...
Why do your mobile transformations need to happen today? Mobile is the strategy that enterprise transformation centers on to drive customer engagement. In his general session at @ThingsExpo, Roger Woods, Director, Mobile Product & Strategy – Adobe Marketing Cloud, covered key IoT and mobile trends that are forcing mobile transformation, key components of a solid mobile strategy and explored how brands are effectively driving mobile change throughout the enterprise.
Developing software for the Internet of Things (IoT) comes with its own set of challenges. Security, privacy, and unified standards are a few key issues. In addition, each IoT product is comprised of (at least) three separate application components: the software embedded in the device, the back-end service, and the mobile application for the end user’s controls. Each component is developed by a different team, using different technologies and practices, and deployed to a different stack/target –...
Identity is in everything and customers are looking to their providers to ensure the security of their identities, transactions and data. With the increased reliance on cloud-based services, service providers must build security and trust into their offerings, adding value to customers and improving the user experience. Making identity, security and privacy easy for customers provides a unique advantage over the competition.
All clouds are not equal. To succeed in a DevOps context, organizations should plan to develop/deploy apps across a choice of on-premise and public clouds simultaneously depending on the business needs. This is where the concept of the Lean Cloud comes in - resting on the idea that you often need to relocate your app modules over their life cycles for both innovation and operational efficiency in the cloud. In his session at @DevOpsSummit at19th Cloud Expo, Valentin (Val) Bercovici, CTO of So...
SYS-CON Events announced today that Commvault, a global leader in enterprise data protection and information management, has been named “Bronze Sponsor” of SYS-CON's 19th International Cloud Expo, which will take place on November 1–3, 2016, at the Santa Clara Convention Center in Santa Clara, CA. Commvault is a leading provider of data protection and information management solutions, helping companies worldwide activate their data to drive more value and business insight and to transform moder...
SYS-CON Events announced today that eCube Systems, a leading provider of middleware modernization, integration, and management solutions, will exhibit at @DevOpsSummit at 19th International Cloud Expo, which will take place on November 1–3, 2016, at the Santa Clara Convention Center in Santa Clara, CA. eCube Systems offers a family of middleware evolution products and services that maximize return on technology investment by leveraging existing technical equity to meet evolving business needs. ...
Personalization has long been the holy grail of marketing. Simply stated, communicate the most relevant offer to the right person and you will increase sales. To achieve this, you must understand the individual. Consequently, digital marketers developed many ways to gather and leverage customer information to deliver targeted experiences. In his session at @ThingsExpo, Lou Casal, Founder and Principal Consultant at Practicala, discussed how the Internet of Things (IoT) has accelerated our abil...
SYS-CON Events has announced today that Roger Strukhoff has been named conference chair of Cloud Expo and @ThingsExpo 2016 Silicon Valley. The 19th Cloud Expo and 6th @ThingsExpo will take place on November 1-3, 2016, at the Santa Clara Convention Center in Santa Clara, CA. "The Internet of Things brings trillions of dollars of opportunity to developers and enterprise IT, no matter how you measure it," stated Roger Strukhoff. "More importantly, it leverages the power of devices and the Interne...
Digital innovation is the next big wave of business transformation based on digital technologies of which IoT and Big Data are key components, For example: Business boundary innovation is a challenge to excavate third-party business value using IoT and BigData, like Nest Business structure innovation may propose re-building business structure from scratch, as Uber does in the taxicab industry The social model innovation is also a big challenge to the new social architecture with the design fr...
Whether they’re located in a public, private, or hybrid cloud environment, cloud technologies are constantly evolving. While the innovation is exciting, the end mission of delivering business value and rapidly producing incremental product features is paramount. In his session at @DevOpsSummit at 19th Cloud Expo, Kiran Chitturi, CTO Architect at Sungard AS, will discuss DevOps culture, its evolution of frameworks and technologies, and how it is achieving maturity. He will also cover various st...
So, you bought into the current machine learning craze and went on to collect millions/billions of records from this promising new data source. Now, what do you do with them? Too often, the abundance of data quickly turns into an abundance of problems. How do you extract that "magic essence" from your data without falling into the common pitfalls? In her session at @ThingsExpo, Natalia Ponomareva, Software Engineer at Google, provided tips on how to be successful in large scale machine learning...