自然建模论文

基于动态语言的系统描述、验证和综合
论文摘要随着集成电路工艺的高速发展,单块集成电路上的晶体管数目越来越多,更多地以复杂的片上系统（SoC）形式出现。集成电路设计也从原来的寄存器传输级（RTL）转向系统级（ESL...