共 50 条
- [21] Automatic generation of high-level contact state space INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH, 2001, 20 (07): : 584 - 606
- [23] Automatic generation of high-level contact state space ICRA '99: IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-4, PROCEEDINGS, 1999, : 238 - 244
- [24] High-level Test Program Generation Strategies for Processors PROCEEDINGS OF IEEE EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS 2013), 2013,
- [25] ASIC generation from high-level specification. 2004 IEEE International Conference on Industrial Technology (ICIT), Vols. 1- 3, 2004, : 1262 - 1269
- [30] High-level observability for effective high-level ATPG Proceedings of the IEEE VLSI Test Symposium, 2000, : 411 - 416