共 50 条
- [21] Source-level timing annotation and simulation for a heterogeneous multiprocessor 2008 DESIGN, AUTOMATION AND TEST IN EUROPE, VOLS 1-3, 2008, : 1348 - +
- [22] Advances in Automated Source-Level Debugging of Verilog Designs NEW CHALLENGES IN APPLIED INTELLIGENCE TECHNOLOGIES, 2008, 134 : 363 - 372
- [24] Lightweight and generative components I: Source-level components GENERATIVE AND COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2000, 1799 : 49 - 64
- [25] Source-level proof reconstruction for interactive theorem proving THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2007, 4732 : 232 - +
- [26] RAPID DEVELOPMENT OF A SOURCE-LEVEL DEBUGGER FOR POWERPC MICROPROCESSORS SIGPLAN NOTICES, 1994, 29 (12): : 73 - 77
- [27] Detecting Memory Errors at Runtime with Source-Level Instrumentation PROCEEDINGS OF THE 28TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA '19), 2019, : 341 - 351
- [28] Effective Source-Level Debugging of Wireless Sensor Networks SENSYS'07: PROCEEDINGS OF THE 5TH ACM CONFERENCE ON EMBEDDED NETWORKED SENSOR SYSTEMS, 2007, : 405 - 406
- [29] Automated source-level error localization in hardware designs IEEE DESIGN & TEST OF COMPUTERS, 2006, 23 (01): : 8 - 19
- [30] Bringing Source-Level Debugging Frameworks to Hardware Generators PROCEEDINGS OF THE 59TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, DAC 2022, 2022, : 1171 - 1176