Practical Formal Methods for Hardware Design
Buch in deiner Nähe kaufen
Beschreibung
This Esprit volume presents research results from the FORMAT (formal methods in hardware verification) project, a collaboration of five European enterprises, a research institute, and two universities.
Autor*in
Carlos Delgado Kloos
Themen in »Practical Formal Methods for Hardware Design«
Design aids Entwurfswerkezeuge Formal models Hardware description languages Hardware-Beschreibungssprachen Mechanical verfication Mechanische Verifikation Specification techniques Spezifikationstechniken VHDL VLSI formal verification verification