Correct hardware design and verification methods IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, France, May 24 - 26, 1993 ; proceedings

Arquitetura De Sistemas De Computacao > Circuits intégrés - Conception assurée par ordinateur - Congrès > Circuits intégrés - Vérification - Congrès > Circuits intégrés à très grande échelle - Conception assistée par ordinateur - Congrès > Conception assistée par ordinateur - Congrès > Hardware > VHDL > Vormgeving > Vérification - Circuits intégrés - Congrès > conception circuit > conception matériel > méthode conception > méthode vérification > vérification matériel > Integrated circuits -- Computer-aided design -- Congresses > Integrated circuits -- Verification -- Congresses > Hardwareverifikation > Verifikation > Hardwareentwurf > Konferenzschrift