Formal Verification, by Everyone and for EveryoneGloria Nichols2019-04-15T00:38:07-07:00Tags: Formal Sign-off Methodology|
The Perils of Aiming Low: How Management Expectations Can Shape Formal Engineers’ Learning and PerformanceGloria Nichols2019-04-15T00:38:02-07:00Tags: Business, Formal Sign-off Methodology|
Making the Case to Executives for Formal VerificationGloria Nichols2019-04-15T00:37:29-07:00Tags: Business, Formal Sign-off Methodology|
New Year’s Resolution – Treading Deep into FormalGloria Nichols2019-04-15T00:37:24-07:00Tags: Decoding Formal|
“What if” All Design and Verification Engineers Used Formal?Gloria Nichols2019-04-15T00:37:12-07:00Tags: Decoding Formal|
Using Formal for Functional CoverageGloria Nichols2019-04-15T00:36:33-07:00Tags: Coverage, Formal Sign-off Methodology|
Sponsoring Technical Advancement in Formal VerificationGloria Nichols2019-04-15T00:36:27-07:00Tags: General|
Debate over Formal Sign-off vs. Bug-huntingGloria Nichols2019-04-15T00:35:56-07:00Tags: Formal Sign-off Methodology|
How Long Does It Take to Formally Verify This Design?Gloria Nichols2019-04-15T00:35:44-07:00Tags: DAC, Formal Sign-off Methodology|
Win:1-Week Formal Test Planning Session with Oski TechnologyGloria Nichols2019-04-15T00:35:12-07:00Tags: General|
Oski Receives DVCon “Honorable Mention” for Best Paper Bounded ProofsGloria Nichols2019-04-15T00:35:00-07:00Tags: Formal Sign-off Methodology|
Verification Management from a Formal PerspectiveGloria Nichols2019-04-15T00:34:25-07:00Tags: Formal Program Leadership|
The Abstraction Model – Is It More, Is It Less?Gloria Nichols2019-04-15T00:33:51-07:00Tags: Formal Sign-off Methodology|
Oski Innovation Enables Formal Sign-Off ™ in 2013Gloria Nichols2019-04-15T00:33:46-07:00Tags: Formal Sign-off Methodology|
Promoting Formal Education: Oski Shares Experiences at FMCAD 2013Gloria Nichols2019-04-15T00:33:40-07:00Tags: Formal Sign-off Methodology|
