A formal executable semantics of Verilog

Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) ◽

10.1109/memcod.2010.5558634 ◽

2010 ◽

Cited By ~ 13

Author(s):

Patrick Meredith ◽

Michael Katelman ◽

Jose Meseguer ◽

Grigore Rosu

Download Full-text