GitHub repository: sdonofriopw/fc4sc
Description: A header only C++11 library for functional coverage