System Verilog验证 测试平台编写指南（第二版） (Chris Spear著，张春，麦宋平，赵益新译) (z-lib.org)
未知
Formal Verification of Control System Software
Pierre-Loïc Garoche
节气藏四季 亲子共作文
蛤蟆先生去看心理医生
（英）罗伯特•戴博德
动物与人