共 50 条
- [34] SPOCK: Static Performance Analysis and Deadlock Verification for Efficient Asynchronous Circuit Synthesis [J]. 2015 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2015, : 442 - 449
- [35] Pairwise Correlation And Performance Analysis of MIMO Systems In Indoor Scenarios [J]. 2015 IEEE INTERNATIONAL CONFERENCE ON AEROSPACE ELECTRONICS AND REMOTE SENSING TECHNOLOGY (ICARES), 2015,
- [36] Pairwise Correlation And Performance Analysis of MIMO Systems In Indoor Scenarios [J]. 2015 IEEE INTERNATIONAL CONFERENCE ON SPACE OPTICAL SYSTEMS AND APPLICATIONS (ICSOS), 2015,
- [37] PERFORMANCE THROUGH HIERARCHY IN STATIC TIMING VERIFICATION [J]. IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 12 : 703 - 709
- [38] On the Use of Static Checking in the Verification of Interlocking Systems [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II, 2016, 9953 : 266 - 278
- [39] A formal verification framework for static analysis [J]. SOFTWARE AND SYSTEMS MODELING, 2016, 15 (04): : 987 - 1012
- [40] Case Study: SoC Performance Verification and Static Verification of RTL Parameters [J]. 2019 20TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR/SOC TEST, SECURITY AND VERIFICATION (MTV 2019), 2019, : 65 - 72