Speaker
Paul Keener
(University of Pennsylvania (US))
Description
With ASICs becoming more complex and traditional verification frameworks, such as UVM, requiring specialized knowledge, alternatives such at the cocotb python-based frameworks become attractive. In an academic environment, students who are already familiar with python can quickly be leveraged to write testbenches for complex ASICs. This talk will give a brief introduction to cocotb using our experience with the HCCStar and AMACStar designs as well as a detailed discussion of the extensive triplication implemented as SEE mitigation and the techniques used to verify the triplication.
Author
Paul Keener
(University of Pennsylvania (US))
