@InProceedings{berg:basics-talk,
  title =	{Formal Verification of a Basic Circuits Library},
  author =	{Christoph Berg},
  year =	2001,
  month =	feb,
  note =	{IASTED International Conference on Applied Informatics, Innsbruck (AI 2001)},
  slides =	{../publications/2001/basiccircuits-slides.ps.gz},
  bibtex =	{2001/basiccircuits.bib},
  paper =	{../publications/#bjk01:basics},
  abstract =	{We describe the results and status of a project aiming to provide a provably
	correct library of basic circuits. We use the theorem proving system PVS
	in order to prove circuits such as incrementers, adders, arithmetic units,
	multipliers, leading zero counters, shifters, and decoders.
	All specifications and proofs are available on the web.}
}