1) Theoretical Construction and Experiential Case Studies
学理构建与经验的实证
2) logical argument and experimental verification
逻辑证明与经验证实
3) setting up testbench
验证环境的构建
1.
The difficulty of Garfield functional verification is as follows: setting up testbench; reusability of verification environment; coverage metrics; Setting up testbench mainly involves two problems: select the verification approach and choose the metrics of stimulus generation.
这些特点给功能验证工作带来诸多挑战,使功能验证成为Garfield芯片设计的瓶颈,其难点主要体现在以下三个方面:验证环境的构建、验证环境的可重用性、覆盖率评估机制。
4) empirical confirmed
经验证实
5) empirical demonstration
经验实证
补充资料:逻辑经验主义(见逻辑实证主义)
逻辑经验主义(见逻辑实证主义)
logical empiricism
luojij一ngyonz卜uyl逻辑经验主义(logiealempiricism)实证主义。见逻杯
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条