共 50 条
- [41] Unrolling and Retiming of Stream Applications onto Embedded Multicore Processors 2012 49TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2012, : 1268 - 1273
- [43] Practical methodology for the formal verification of RISC processors Formal Methods Syst Des, 2 (159-225):
- [47] A Practical Methodology for the Formal Verification of RISC Processors Formal Methods in System Design, 1998, 13 : 159 - 225
- [49] Code positioning to reduce instruction cache misses in signal processing applications on multimedia risc processors 1997 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, VOLS I - V: VOL I: PLENARY, EXPERT SUMMARIES, SPECIAL, AUDIO, UNDERWATER ACOUSTICS, VLSI; VOL II: SPEECH PROCESSING; VOL III: SPEECH PROCESSING, DIGITAL SIGNAL PROCESSING; VOL IV: MULTIDIMENSIONAL SIGNAL PROCESSING, NEURAL NETWORKS - VOL V: STATISTICAL SIGNAL AND ARRAY PROCESSING, APPLICATIONS, 1997, : 699 - 702