Synthesizing Environment Invariants for Modular Hardware Verification

著者: Hongce Zhang, Weikun Yang, Grigory Fedyukovich, Aarti Gupta, Sharad Malik - Lecture notes in computer science 2020 被引用: 13