共 50 条
- [25] FORMAL VERIFICATION - IS IT PRACTICAL FOR REAL-WORLD DESIGN IEEE DESIGN & TEST OF COMPUTERS, 1989, 6 (06): : 50 - 58
- [27] Challenges on low-power platform design for real-world wireless sensing applications 2006 INTERNATIONAL SYMPOSIUM ON VLSI DESIGN, AUTOMATION, AND TEST (VLSI-DAT), PROCEEDINGS OF TECHNICAL PAPERS, 2006, : 119 - 122