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, Sep 22, 2016 –– 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 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:



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.

Nanette Collins     
Public Relations for Oski Technology             
(617) 437-1822                                                          
Email Contact                                                 

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

Review Article Be the first to review this article

Featured Video
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
H-1B Visa: de Geus’ tragedy looms large
Peggy AycinenaIP Showcase
by Peggy Aycinena
IP for Cars: Lawsuits are like Sandstorms
More Editorial  
ASIC/FPGA Design Engineer for Palo Alto Networks at Santa Clara, CA
Mechanical Designer/Engineer for Palo Alto Networks at Santa Clara, CA
Lead Java Platform Engineer IOT-WEB for EDA Careers at San Francisco Area, CA
Technical Support Engineer for EDA Careers at Freemont, CA
Technical Support Engineer EU/Germany/UK for EDA Careers at N/A, United Kingdom
CAD/CAM Regional Account Manager (Pacific Northwest) for Vero Software Inc. at Seattle, WA
Upcoming Events
Embedded Systems Conference ESC Boston 2017 at Boston Convention & Exhibition Center Boston MA - May 3 - 4, 2017
2017 GPU Tech Conference at San Jose McEnery Convention Center 150 West San Carlos Street San Jose CA - May 8 - 11, 2017
High Speed Digital Design and PCB Layout at 13727 460 Ct SE North Bend WA - May 9 - 11, 2017
Nanotech 2017 Conference & Expo at Gaylord National Hotel & Convention Center WA - May 14 - 17, 2017

Internet Business Systems © 2017 Internet Business Systems, Inc.
595 Millich Dr., Suite 216, Campbell, CA 95008
+1 (408)-337-6870 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy Policy