Formal Verification Experiences: Silicon Bug Hunt with “Deep Sea Fishing”

Author(s):
Mark Handover, Abdelouahab Ayari and Ping Yeung
Location:
Europe
Year:
2020
Type:
Paper
Format:
pdf