Conference: | Formal Verification 2017 |
Speaker: | Elchanan Rappaport (President), Gila Logic |
Presentation Title: | Porting and Verifying a pre-RTL Legacy Design |
Abstract: | A common task for logic development is porting legacy designs to new target devices and technologies. Ideally, this can be achieved by maintaining fully-portable RTL. As a fallback, we need to modify our design, and then re-verify our functionality to confirm that we haven’t broken anything.An extreme case, which we encountered, was a pre-RTL legacy design, for which neither a simulation testbench, nor a detailed functional description existed. This was compounded by the original design containing many non-synthesizable artifacts. We present a methodology developed for porting such a design.
|
Speaker Bio: | Elchanan Rappaport is the founder of Gila Logic, Inc. He has 35 years of experience in both logic design and verification, including 7 years at IBM TJ Watson Research. For the last 15 years he has focused on high-end formal verification projects and is a common speaker at formal conferences and events. His Formal Verification clients include ARM, Microsoft, MobilEye, Texas Instruments, and Intel. |
View the Presentation Material:
- At the request of the speaker Presentation Slides will not be available post-event.
- Video Presentation