Does anyone have experience with cocotb? There is a report from 2018 (https://www.osti.gov/servlets/purl/1488489) about using both of them (cocotb with Xyce) together.