Vigyan Singhal

Another Reason to Stay an Extra Day in Austin

If you are attending the Design Automation Conference (DAC) in Austin, Texas, June 5-9, and need a good reason to stay an extra day, look no further. Oski Technology is offering a one-day primer on advanced formal verification techniques at the DAC Decoding Formal one-day training, “Achieving Formal Sign-off”, on Thursday, June 9, from 10 a.m. until 5 p.m. at the …

Another Reason to Stay an Extra Day in AustinRead More »

Oski Technology Formal Coverage Methodology: implement checkers and constraints; run formal verification and collect coverage; are coverage goals met? add abstractions and add/fix constraints; are coverage goals met Y/N?; Design is formally verified

Part 2: Formal Verification Program Leader: The Critical Role of Planning and Measurement

As  in any engineering endeavor, formal verification involves engaging individuals in many different roles, often including formal managers and, given the technically deep and complex nature of FV, nearly always one or more formal experts. The manager of the formal verification effort on a project may have formal as his or her primary or sole …

Part 2: Formal Verification Program Leader: The Critical Role of Planning and MeasurementRead More »

Oski Technology at DAC 2016

The Decoding Formal Club returns to DAC!  Please visit us at the Oski Technology DAC Booth #339 and our other DAC presentations and talks, and pre-register for our Decoding Formal Training Day: “Achieving Formal Sign-Off” on Thursday, June 9. Register: Decoding Formal Training Day June 9, Austin Hilton Join us for the Decoding Formal Club “Achieving Formal Sign-off” Training Day …

Oski Technology at DAC 2016Read More »

Decoding Formal DAC Training Day: Achieving Formal Sign-Off

Registration is now open for the Decoding Formal: “Achieving Formal Sign-Off” DAC Training Day on Thursday June 9, 2016 at the Hilton Hotel, Austin, TX. This full day of training on formal verification has a packed agenda, with lunch included. Paid pre-registration is required. Check out the details below, and buy tickets here. The Decoding Formal …

Decoding Formal DAC Training Day: Achieving Formal Sign-OffRead More »

Part 1: Formal Verification Program Leader: An Emerging Role in Verification

Formal verification of hardware designs has been around for more than 25 years. Commercial tools, for example from AT&T Bell Labs and IBM, started appearing in the 1990s. It’s only recently that formal verification has been adopted into design and verification flows, due to a number of reasons. It’s harder to learn than simulation or emulation …

Part 1: Formal Verification Program Leader: An Emerging Role in VerificationRead More »

Oski to Exhibit at DVCon 2016

Oski Technology will be exhibiting at DVCon 2016 booth #205, Feb. 29-March 2, San Jose, CA, where Oski’s Prashant Aggarwal will be presenting a paper titled “The Process and Proof for Formal Sign-off – A Live Case Study”. Event: Oski Technology Exhibits at booth #205 Time: Monday Feb. 29, 5:00pm-7:00pm; Tuesday March 1 and Wednesday March 2, …

Oski to Exhibit at DVCon 2016Read More »

Oski Holiday Challenge: Fun Formal Puzzler Entries Due by Jan. 31!

“Jingle Bells”, “Silent Night”, “We Wish You a Merry Christmas”… It has been several weeks since my youngest daughter started practicing for her upcoming violin concert. I grew up in China and missed out on the fun of Christmas festivities and holiday music. Now that we live in the United States and have had the full …

Oski Holiday Challenge: Fun Formal Puzzler Entries Due by Jan. 31!Read More »

Oski Technology Names Chief Operating Officer Dave Parry Brings Extensive Engineering, Executive-Level Experience

MOUNTAIN VIEW, CALIF. –– October 20, 2015 –– Oski Technology, Inc., the only dedicated formal verification service provider, today appointed Dave Parry to the newly created role of chief operating officer. Parry, an experienced executive who has contributed to and led ASIC and system development for high-performance computing and networking, and system-on-chip (SoC) interconnect intellectual …

Oski Technology Names Chief Operating Officer Dave Parry Brings Extensive Engineering, Executive-Level ExperienceRead More »

Close Win in Oski Deep Bounds 2015 Hardware Model Checking Competion for Norbert Manthey of TU, Dresden

This year’s Oski Deep Bound Track Hardware Model Checking Competition (HWMCC) was a thrillingly close contest that came down to just one benchmark design of more than 100  benchmarks. The winner was announced at the Hardware Model Checking Competition Report session of the annual Formal Methods in Computer-Aided Design (FMCAD) Conference, held in Austin, Texas, …

Close Win in Oski Deep Bounds 2015 Hardware Model Checking Competion for Norbert Manthey of TU, DresdenRead More »

MEDIA ALERT: Oski Technology to Participate in Formal Verification Session, Industry Panel on Formal during FMCAD in Austin, Texas

Oski Technology to Participate in Formal Verification Session, Industry Panel at FMCAD 2015 Sponsors Annual Hardware Model Checking Competition Once Again MOUNTAIN VIEW, CA–(Marketwired – Sep 22, 2015) – WHO: Oski Technology, Inc., the only dedicated formal verification service provider WHAT: Will participate in a Formal Verification Applications and Case Studies session, where Vigyan Singhal, …

MEDIA ALERT: Oski Technology to Participate in Formal Verification Session, Industry Panel on Formal during FMCAD in Austin, TexasRead More »

Decoding Formal Club – Completeness of the End-to-End Formal Testbench

Decoding Formal Club Meeting – Completeness of End-to-End Formal  Registration is now closed for this event. Please subscribe to our newsletter to receive notice of upcoming Decoding Formal meetings. The next Decoding Formal Club lunch and meeting is on Wednesday, October 21, from 12:00 p.m. until 4:00 p.m., sponsored by Synposys. October 2015 marks the …

Decoding Formal Club – Completeness of the End-to-End Formal TestbenchRead More »

Formal Sign-Off with Formal Coverage (JUG) 2015

Oski Technology will co-present with ARM at the Jasper User Group Conference October 7 and 8, 2015 at the Cadence San Jose Auditorium, Building 10. The title of the paper is “Formal Sign-Off with Formal Coverage”, and the authors include Vigyan Singhal (Oski Technology),  Ashutosh Prasad  (Oski Technology) and Vikram Khosa (ARM). Formal verification can replace …

Formal Sign-Off with Formal Coverage (JUG) 2015Read More »

Formal Methods in Computer-Aided Design (FMCAD) 2015

FMCAD 2015 is the fifteenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects …

Formal Methods in Computer-Aided Design (FMCAD) 2015Read More »

Preparing for Another Challenge at DAC: Break the Testbench!

You may remember the Oski Technology Live Verification Challenge in 2012, where during the 72 hours of DAC, Oski verification engineer Chirag Agarwal formally verified a well-simulated design from NVIDIA, sight unseen, live and on camera, and found 4 corner case bugs. The challenge results exceeded everyone’s expectations, and inspired other companies to do more …

Preparing for Another Challenge at DAC: Break the Testbench!Read More »

MEDIA ALERT: Oski Technology Kicks-Off 2015 Series of Decoding Formal Club Meetings February 9

Agenda includes Presentations on Variety of Formal Verification Topics MOUNTAIN VIEW, CA–(Marketwired – Jan 20, 2015) – WHO: Oski Technology, Inc., the only dedicated formal verification service provider WHAT: Kicks-off the 2015 Series of Decoding Formal Club meetings, a forum for formal verification enthusiasts, pioneers and leaders who work to promote the sharing of ideas, advancement of …

MEDIA ALERT: Oski Technology Kicks-Off 2015 Series of Decoding Formal Club Meetings February 9Read More »

Oski Tutorial at Haifa Verification Conference 2014

Vigyan Singhal from Oski Technology Technology is to present a tutorial at the Haifa Verification Conference on Monday November 17, from 4 p.m. until 5:30 p.m. at the IBM Haifa facility is located at the northwest corner of the University of Haifa campus, Haifa, Israel. Achieving Sign-off with End-to-End Formal This tutorial focuses on the most complex yet …

Oski Tutorial at Haifa Verification Conference 2014Read More »

Decoding Formal Club Oct. 23, 2014: Formal Ph.D Talks: Methodology, Application, Real-World Experience

Decoding Formal Club Event, “Formal Ph.D Talks: Methodology, Application, Real-World Experience”  The next Decoding Formal Club event on October 23, 2014 is sponsored by `Synopsys. Three engineers with more than 60 years of combined industry experience with formal verification will share insights on formal sign-off methodology, cache coherence verification, as well as real-world formal experience …

Decoding Formal Club Oct. 23, 2014: Formal Ph.D Talks: Methodology, Application, Real-World ExperienceRead More »

MEDIA ALERT: Oski Technology to Exhibit at Synopsys User Group Austin Designer Community Expo

MOUNTAIN VIEW, CA–(Marketwired – September 16, 2014) – WHO: Oski Technology, Inc., the only dedicated formal verification service provider WHAT: Will exhibit at SNUG® (Synopsys Users Group) Austin Designer Community Expo in the IC Verification community, open to all registered SNUG attendees. It will present the Oski Formal Sign-off Methodology using the Synopsys VC Formal product. Oski …

MEDIA ALERT: Oski Technology to Exhibit at Synopsys User Group Austin Designer Community ExpoRead More »

Win:1-Week Formal Test Planning Session with Oski Technology

Enter to Win: 1-Week Formal Test Planning Session with Oski Technology Formal test planning is the first step to ensuring successful End-to-End formal verification and formal sign-off. There are 3 stages in the process of formal test planning – identifying the right design blocks for formal verification (the where question); estimating the formal verification effort …

Win:1-Week Formal Test Planning Session with Oski TechnologyRead More »

Oski Technology to Highlight the Oski Formal Sign-Off™ Methodology at DVCon, Outlining Benefits of Applying Custom Abstraction Models During Formal Analysis

AT DECODING FORMAL CLUB MEETING, MOUNTAIN VIEW, CALIF. THURSDAY, JANUARY 23 MEDIA ALERT: Oski Technology to Host Decoding Formal Club for Formal Verification Enthusiasts Abstraction Models to be Discussed MOUNTAIN VIEW, CALIF. –– January 13, 2013 –– (reminder June 20) WHO: Oski Technology, Inc., the only dedicated formal verification service provider WHAT: Will highlight the …

Oski Technology to Highlight the Oski Formal Sign-Off™ Methodology at DVCon, Outlining Benefits of Applying Custom Abstraction Models During Formal AnalysisRead More »

Oski Technology at DAC 2014

Oski Technology will be exhibiting at booth #2301, DAC 2014 June 2 – 6, 2014, San Francisco, CA Time: DAC exhibits are open June 2 – 4, 2014 Venue: Oski Booth #2301, Moscone Convention Center, San Francisco California. Web: http://www.dac.com Oski will also be participating in the following events at DAC: Monday June 02, 1:30pm …

Oski Technology at DAC 2014Read More »

Oski Innovation Enables Formal Sign-Off ™ in 2013

A busy year is drawing to a close for Oski Technology. Reflecting back on this year we are proud of what we have accomplished for our valued customers. Oski Formal Sign-Off ™ Methodology, incorporating End-to-End checkers, Abstraction Models and formal coverage – this is the boldest application of formal technology for RTL functional verification. Gone …

Oski Innovation Enables Formal Sign-Off ™ in 2013Read More »

Promoting Formal Education: Oski Shares Experiences at FMCAD 2013

Although Oski Technology is first and foremost a formal verification service company, making effective use of formal tools and promoting education around the power of formal technology has always been at the core of our business. Since Oski was founded in 2005, we have engaged in many activities to help increase the adoption of formal …

Promoting Formal Education: Oski Shares Experiences at FMCAD 2013Read More »

Oski’s Two New Secure Chambers Support Asia Growth

Oski Technology, founded by Vigyan Singhal, pioneer and practitioner in formal verification, has earned great respect and reputation in the Silicon Valley for helping customers tape out mission-critical projects using formal technology. Leveraging the power of End-to-End formal verification and Abstraction Models, Oski works with its customers to adopt formal sign-off methodology so that formal …

Oski’s Two New Secure Chambers Support Asia GrowthRead More »

Calling All Formal Enthusiasts: Join the Oski “Decoding Formal” Club

In our years of providing formal verification services to leading-edge semiconductor companies, I have had the pleasure of meeting and working with many smart and dedicated engineers who paved the way of formal adoption in their companies – studiously applying formal technology to verify more complex designs as well as building up formal methodology so …

Calling All Formal Enthusiasts: Join the Oski “Decoding Formal” ClubRead More »

IP Customers Beware! “Silicon Proven” IP May Not Be Fully Verified

The verification of all configurations (reaching in millions) of an (silicon) IP is a challenge. I have experienced this problem first-hand both from the vendor side as an embedded SRAM (eSRAM) compiler designer, and from the customer side, as an architect of a wireless SoC using 3rd party IPs. When I was eSRAM compiler designer, …

IP Customers Beware! “Silicon Proven” IP May Not Be Fully VerifiedRead More »

Congratulations to Oski’s Online Competition Winners!

To complement the “Decoding Formal” Contests hosted live at DAC 2013 in Austin TX, Oski Technology launched a parallel online “Decoding Formal” Contest so engineers who were not attending DAC could also participate. The online competition concluded on June 21st with many participants from Europe, Asia and US. The 3 winners were chosen based on …

Congratulations to Oski’s Online Competition Winners!Read More »

“Memoir Systems designs high performance and highly configurable memory IP cores. Formal verification has always been an important strategy to ensure functional correctness of its configurable memory IPs, as it is hard to cover all configurations using simulation. Due to the complex nature of Memoir Systems’ design, Oski Technology is involved to help identify formal verification complexity spots and craft solutions to overcome the complexity challenge. Due to Oski’s engagement, the memory IPs from Memoir Systems are formally verified and exhaustively proven – 100% verified.” (Update: Memoir was acquired by Cisco in September 2014.)

Da Chuang Co-Founder & COO, Memoir Systems

Oski Technology’s formal verification services and training offers a way for anyone, with or without prior experience, to become expert in the strategic deployment of this methodology. OneSpin is delighted to partner with Oski Technology, to deliver unique verification solutions and execute on the proven Oski formal methodology, enabling our mutual customers to reduce their verification schedules with this powerful approach.

Raik Brinkmann CEO, OneSpin Solutions

‪DAC 2012: Vigyan Interview with Joe Hupcey on Oski Technology’s Courageous “72 hour Verification Challenge”

I’ve seen a lot of intriguing promotions over the years, but at DAC 2012 our partners at Oski Technology (‪http://www.oskitechnology.com) tackled a truly unique challenge: to show off their formal verification prowess they took an IP block from NVIDIA sight unseen (actually, on Sunday evening before the DAC they received a spec and a 15 …

‪DAC 2012: Vigyan Interview with Joe Hupcey on Oski Technology’s Courageous “72 hour Verification Challenge”Read More »

Oski to Exhibit Formal Verification Methodology at #ARM TechCon 2012 Chip Design Day, Oct. 30

Oski Technology will be presenting a video recap of its recent groundbreaking success with the Oski Live Formal Verification Challenge wherein Oski formally verified a new design, sight unseen from NVIDIA live at DAC 2012, finding four corner-case bugs plus end-to-end checkers in less than 72 hours. Oski Technology will be exhibiting at ARM TechCon …

Oski to Exhibit Formal Verification Methodology at #ARM TechCon 2012 Chip Design Day, Oct. 30Read More »

Video: How to Achieve Early Formal Convergence with Oski Abstraction Models

Decoding Formal Video Tutorial Series: How to Achieve Early Formal Convergence with Abstraction Models The state space for formal is huge. If you have a design with 300 flops, that is already more states than there are atoms in the universe. So the state space is growing exponentially. Formal tools are limited by design size …

Video: How to Achieve Early Formal Convergence with Oski Abstraction ModelsRead More »

Video: How to Formally Verify – and Reuse – Highly Configurable IP Designs

Decoding Formal Video Tutorial Series: How to Formally Verify and Reuse Highly Configurable IP Many designs these days support all sorts of IPs, and we want to verify these designs. However with tight schedules, we don’t have the luxury of building from scratch, so the best thing to do is re-use IPs from 3rd parties …

Video: How to Formally Verify – and Reuse – Highly Configurable IP DesignsRead More »