Combining functional programming and hardware verification (abstract of invited talk)

@inproceedings{Seger2000CombiningFP,
  title={Combining functional programming and hardware verification (abstract of invited talk)},
  author={Carl-Johan H. Seger},
  booktitle={ICFP},
  year={2000}
}
Intel The Forte formal hardware verification system grew out of the Voss verification system, developed at University of British Columbia from 1990-1995, and forms the basis of all new formal equivalence and property verification tools at Intel today. It is used by hundreds of designers and is a critical component in the tool chain used to design future microprocessors. The core of Forte, consists of a strongly typed lazy functional language, called fl, tightly integrated with a BDD package and… CONTINUE READING