%0 Journal Article
%T An Efficient Evaluation and Vector Generation Method for Observability-Enhanced Statement Coverage
%A Wei Lu
%A Xiu-Tao Yang
%A Tao Lv
%A Xiao-Wei Li
%A <br>Wei Lu
%A Xiu-Tao Yang
%A Tao Lv
%A and Xiao-Wei Li
%J 计算机科学技术学报
%D 2005
%I 
%K design verification
%K simulation
%K coverage metrics
%K observability
%K vector generation<br>计算机技术
%K 可观察性
%K 模拟技术
%K 评估方法
%K VHDL
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=D47A2F118E1FD6B97D4B811BE61DC947&yid=2DD7160C83D0ACED&vid=A04140E723CB732E&iid=B31275AF3241DB2D&sid=4AA5FA7F666BDD0A&eid=BEBF2238C7F1C1F1&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=24