Correct hardware design and verification methods IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, France, May 24 - 26, 1993 ; proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Berlin u.a.
Springer
1993
|
| Schriftenreihe: | Lecture notes in computer science
683 |
| Schlagworte: |
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
|
| Online Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen Keine Ergebnisse!