| 
|
QuoteRef: wilkM10_1990
topics >
all references >
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
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
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)