Map
Index
Random
Help
th

QuoteRef: wilkM10_1990

topics > all references > ThesaHelp: references t-z



ThesaHelp:
references t-z
ThesaHelp:
ACM references m-z
Topic:
hardware vs. software
Topic:
program proving is infeasible

Reference

Wilkes, M., "It's all software, now", Communications of the ACM, 33, 10, pp. 19-21, October 1990. Google

Quotations
20 ;;Quote: hardware design and design checking of complex chips is heavily dependent on software
21 ;;Quote: proving a hardware design is just another form of checking; does not catch specification errors and analog behavior


Related Topics up

ThesaHelp: references t-z (309 items)
ThesaHelp: ACM references m-z (280 items)
Topic: hardware vs. software (15 items)
Topic: program proving is infeasible (46 items)

Collected barberCB 10/90
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.