[IEEE Computer Soc 18th International Conference on VLSI...

  • Main
  • [IEEE Computer Soc 18th International...

[IEEE Computer Soc 18th International Conference on VLSI Design - Kolkata, India (3-7 Jan. 2005)] 18th International Conference on VLSI Design held jointly with 4th International Conference on Embedded Systems Design - Formal methods for analyzing the completeness of an assertion suite against a high-level fault model

Sayanlan Das,, Ansuman Banerjee,, Prasenjit Basu,, Pallab Dasgupta,, Chakrabarti, P.P., Chunduri Rama Mohan,, Fix, L.
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Année:
2005
Langue:
english
DOI:
10.1109/icvd.2005.101
Fichier:
PDF, 128 KB
english, 2005
La conversion en est effectuée
La conversion en a échoué