Translating formal specifications into behavioural hardware descriptionsOlaf DrögehornÉpuiséPrévenez-moi
