Spara
Computation Engineering
It takes more e?ort to verify that digital system designs are correct than it does to design them, and as systems get more complex the proportion of cost spent on veri?cation is increasing (one estimate is that veri?cation complexity rises as the square of design complexity).
- Undertitel
- Applied Automata Theory and Logic
- Författare
- Ganesh Gopalakrishnan
- Upplaga
- 1st ed. Softcover of orig. ed. 2006
- ISBN
- 9781441937414
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2010-10-29
- Sidor
- 472
