Enviar aquest missatge de text: Modelling and verification in structured integrated circuit design /