共 3 条
[2]
Formal Verification for Embedded System Designs
[J].
Design Automation for Embedded Systems,
2003, 8
:139-153
[3]
Tuning of Cache Ways and Voltage for Low-Energy Embedded System Platforms
[J].
Design Automation for Embedded Systems,
2002, 7
:35-51