Use of Formal Methods by a Silicon Manufacturer (1988) (via calvin) — discussion

#formalmethods #hardware #pdf