VeriFormal: An Executable Formal Model of a Hardware Description Language.

Wilayat Khan Alwen Tiu David Sanán

Published in: SG-CRC (2017)

Keyphrases

formal model
hardware description language
integrated circuit
programmable logic
hardware design
hardware designs
formal specification
field programmable gate array
predicate calculus
formal models
pattern recognition
security patterns