0
*
0
*
1450
2025
book-filter
Edition cover

Correct hardware design and verification methods

  • CHARME 2005 (2005 Saarbrüchen, Germany)

0

0 ratings

Genres

  • Congresses
  • Integrated circuits
  • Very large scale integration
  • Verification
  • Computer-aided design
  • TECHNOLOGY & ENGINEERING
  • Essai technique
  • Circuit integre a tres grande echelle
  • Circuits
  • COMPUTERS
  • Circuits integres a tres grande echelle
  • Logic Design
  • VLSI & ULSI
  • Conception assistee par ordinateur
  • Circuit integre
  • Logic
  • Congres
  • Electronics
  • Informatique
  • Model-checking (Informatique)
  • Verification formelle
  • Circuits integres
  • Integrated circuits, very large scale integration
Already read

0

people already read

Currently reading

0

people are currently reading

Want to read

0

people want to read

About the author

  • CHARME 2005 (2005 Saarbrüchen, Germany)

    0

    0 ratings · 1 works

Editions

  • Edition cover

    Springer

    2005