共 50 条
- [32] Re-useable hardware/software co-verification of IP blocks 14TH ANNUAL IEEE INTERNATIONAL ASIC/SOC CONFERENCE, PROCEEDINGS, 2001, : 413 - 417
- [33] Re-useable hardware software co-verification of IP blocks ELECTRONIC ENGINEERING DESIGN, 2002, 74 (908): : 20 - +
- [35] Multiple Scenario Approach for Pre-Silicon Hardware/Software Co-Verification 2009 1ST IEEE EASTERN EUROPEAN CONFERENCE ON THE ENGINEERING OF COMPUTER BASED SYSTEMS, 2009, : 110 - +
- [37] Efficient Reachability Analysis of Buchi Pushdown Systems for Hardware/Software Co-verification COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2010, 6174 : 339 - +
- [38] Software and Hardware Co-verification Technology Based on Virtual Prototyping of RF SoC 2018 IEEE INTERNATIONAL CONFERENCE ON COMPUTER AND COMMUNICATION ENGINEERING TECHNOLOGY (CCET), 2018, : 244 - 247
- [39] Hardware/software security co-verification and vulnerability detection: An information flow perspective Integration, 2024, 94
- [40] A system-level co-verification environment for ATM hardware design DESIGN, AUTOMATION AND TEST IN EUROPE, PROCEEDINGS, 1998, : 424 - 428