一种可配置的eda仿真验证方法.pdfVIP

第 30 卷 　第 5 期 电 子 器 件 Vol. 30 　No . 5 20 07 年 10 月 　　　 Ch inese J ou r nal Of Elect ro n D evices 　　 Oct . 2 007 3 A Conf igura ble imulat ion an d Ver if ica t ion Appr oach in ED A Pr ocesse s Z H OU Mi , H A N G L i2hon g , J I N H ui2hu a ( F acu lt y 60 1 , Beij i ng U ni ver si t y o f A er on a ut ic s and Ast r on aut ics , Beij i ng 100083 , Chi n a) Abstr act :A rchi tect ur e of a confi gu ra ble sim ulation a nd ve rification app roach i s in t ro du ced , which i s sui t2 abl e for ci rcui t s con taini ng mor e t han 5 000 lo gi c cell s. Co nfi gu rat ion scr ip t is u sed by Confi gu ra ble Test2 bench Gener ator to gener at e te st bench es an d manage inj ection of test in g vector s and st orag e of sim ulation stat es . Differ ent fr om p r evio us work , even t s ar e defined t o t r igg er inj ection of sti mulat ion si gnal s i n stead of ti mer s. Thu s , t he p r ocess of inj ection can k eep int er act ion w it h si mulation p ro ce ss. Aut omatic ge nera2 t ion of test bench es ca n save de si gner s f rom rep et iti ve co di ng and i mp rove r elia bili ty . Event s ba sed st ora ge of sim ulation st ate s ca n save great deal of memory sp ace . Key wor ds : si mul at io n ve rification ; EDA ;co nfi gu ra ble E EACC :722 0 3 一 种 可 配 置 的 EDA 仿 真 验 证 方 法 周 　密 ,尚利宏 ,金惠华 (北京航空航天大学 601 教研室 ,北京 海淀区 100083) 摘 　要 :介绍了一种适用于 5 000 逻辑单元以上规模电路的可配置 EDA 仿真验证方法 . 它由可配置的测试台生成器 自动产 生测试台 , 并管理测试向量的注入和仿真状态的存储 . 与以往 研究采 用的定 时触