opensecura / 3p / lowrisc / opentitan / 9d75b80410f2801600353336a06354719171b6e7 / topgen-generator.core