Formal equivalence checking between SLM and RTL descriptions.

Jian Hu Tun Li Sikun Li

Published in: SoCC (2015)

Keyphrases

high level
natural language descriptions
formal model
model based diagnosis
special case
real world
case study
multi agent
formal analysis
operational semantics
semantic description
formal models
formal representation