Hardware verification
Victor Yodaiken
(
yodaiken@sphinx.nmt.edu
)
Sun, 11 Dec 1994 16:47:01 -0700
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Next message:
Victor Yodaiken: "Re: Hardware verification"
Previous message:
F. Javier Thayer: "disparaging remarks"
Next in thread:
Paul Jackson: "Re: Hardware verification"
There is an interesting discussion on this issue in the RISKs forum.
Does anyone know what INMOS got wrong in their floating point spec?
Next message:
Victor Yodaiken: "Re: Hardware verification"
Previous message:
F. Javier Thayer: "disparaging remarks"
Next in thread:
Paul Jackson: "Re: Hardware verification"