%0 Conference Paper %1 conf/dac/GrinwaldHOUZ98 %A Grinwald, Raanan %A Harel, Eran %A Orgad, Michael %A Ur, Shmuel %A Ziv, Avi %B DAC %D 1998 %E Chawla, Basant R. %E Bryant, Randal E. %E Rabaey, Jan M. %I ACM Press %K dblp %P 158-163 %T User Defined Coverage - A Tool Supported Methodology for Design Verification. %U http://dblp.uni-trier.de/db/conf/dac/dac98.html#GrinwaldHOUZ98 %@ 0-89791-964-5

@inproceedings{conf/dac/GrinwaldHOUZ98, added-at = {2017-03-16T00:00:00.000+0100}, author = {Grinwald, Raanan and Harel, Eran and Orgad, Michael and Ur, Shmuel and Ziv, Avi}, biburl = {https://www.bibsonomy.org/bibtex/22946f37905b7345e9db742e967f02608/dblp}, booktitle = {DAC}, crossref = {conf/dac/1998}, editor = {Chawla, Basant R. and Bryant, Randal E. and Rabaey, Jan M.}, ee = {http://doi.acm.org/10.1145/277044.277081}, interhash = {e004ced9c58beb6f65ecfbd1a130e0e7}, intrahash = {2946f37905b7345e9db742e967f02608}, isbn = {0-89791-964-5}, keywords = {dblp}, pages = {158-163}, publisher = {ACM Press}, timestamp = {2017-03-17T11:40:01.000+0100}, title = {User Defined Coverage - A Tool Supported Methodology for Design Verification.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac98.html#GrinwaldHOUZ98}, year = 1998 }