A Survey of Formal Techniques for Hardware/Software Co-verification | IEEE Conference Publication | IEEE Xplore