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.
Authors
Paul Keener
(University of Pennsylvania (US))
Benjamin John Rosser
(University of Chicago (US))
