共 50 条
- [34] Enabling hardware verification through design changes FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 459 - 470
- [37] What’s Missing in Agile Hardware Design? Verification! Journal of Computer Science and Technology, 2023, 38 : 735 - 736
- [38] Hardware design with a scripting language FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS, 2003, 2778 : 1040 - 1043