%0 Conference Paper %1 conf/ats/HekmatpourS05 %A Hekmatpour, Amir %A Salehi, Azadeh %B Asian Test Symposium %D 2005 %I IEEE Computer Society %K dblp %P 34-39 %T Block-based Schema-driven Assertion Generation for Functional Verification. %U http://dblp.uni-trier.de/db/conf/ats/ats2005.html#HekmatpourS05 %@ 0-7695-2481-8

@inproceedings{conf/ats/HekmatpourS05, added-at = {2023-03-24T00:00:00.000+0100}, author = {Hekmatpour, Amir and Salehi, Azadeh}, biburl = {https://www.bibsonomy.org/bibtex/2cd03faace3a99884ca3e1b2e21c1455b/dblp}, booktitle = {Asian Test Symposium}, crossref = {conf/ats/2005}, ee = {https://doi.ieeecomputersociety.org/10.1109/ATS.2005.30}, interhash = {9b31f59859ad41352e4c2a4eb5ae4bde}, intrahash = {cd03faace3a99884ca3e1b2e21c1455b}, isbn = {0-7695-2481-8}, keywords = {dblp}, pages = {34-39}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:36:05.000+0200}, title = {Block-based Schema-driven Assertion Generation for Functional Verification.}, url = {http://dblp.uni-trier.de/db/conf/ats/ats2005.html#HekmatpourS05}, year = 2005 }