CoverMore: A Methodology to Deliver Re-Usable and Verifiable Design IP CoverMore: A Methodology to Deliver Re-Usable and Verifiable Design IPGloria Nichols2019-04-28T23:55:15-07:00
Creative Formal Techniques to Verify PCache Creative Formal Techniques to Verify PCacheGloria Nichols2019-04-28T23:55:49-07:00
Formal Verification of a Public-Domain DDR2 Controller Design Formal Verification of a Public-Domain DDR2 Controller DesignGloria Nichols2019-04-28T23:56:19-07:00
Using Formal Tools to Verify Datapath Designs During Various Phases of Processor Development Using Formal Tools to Verify Datapath Designs During Various Phases of Processor DevelopmentGloria Nichols2019-04-28T23:56:46-07:00
How Formal Methodology Shrank the Verification Schedule of a Complex Statistics Block by 6x How Formal Methodology Shrank the Verification Schedule of a Complex Statistics Block by 6xGloria Nichols2019-04-28T23:57:10-07:00
Deploying Model Checking for Bypass Verification (BEST PAPER AWARD) Deploying Model Checking for Bypass Verification (BEST PAPER AWARD)Gloria Nichols2019-04-28T23:57:42-07:00
Formal Verification of Software Configurable Silicon for SDN Formal Verification of Software Configurable Silicon for SDNGloria Nichols2019-04-28T23:58:13-07:00
End-to-End Formal using Abstractions to Maximize Coverage End-to-End Formal using Abstractions to Maximize CoverageGloria Nichols2019-04-28T23:58:43-07:00
Architectural Formal Verification of System-Level Deadlocks Architectural Formal Verification of System-Level DeadlocksGloria Nichols2019-04-28T23:59:11-07:00
DAC 2012 Oski Challenge: Wrap-Up & Video DAC 2012 Oski Challenge: Wrap-Up & VideoGloria Nichols2019-04-30T18:56:22-07:00