Unified Property Specification for Hardware/Software Co-Verification.

Fei Xie, Huaiyu Liu

Browse the full COMPSAC paper archive.