Block-based Schema-driven Assertion Generation for Functional Verification

Amir Hekmatpour, Azadeh Salehi. Block-based Schema-driven Assertion Generation for Functional Verification. In 14th Asian Test Symposium (ATS 2005), 18-21 December 2005, Calcutta, India. pages 34-39, IEEE Computer Society, 2005. [doi]

@inproceedings{HekmatpourS05,
  title = {Block-based Schema-driven Assertion Generation for Functional Verification},
  author = {Amir Hekmatpour and Azadeh Salehi},
  year = {2005},
  doi = {10.1109/ATS.2005.30},
  url = {http://doi.ieeecomputersociety.org/10.1109/ATS.2005.30},
  tags = {rule-based, XML, XML Schema},
  researchr = {https://researchr.org/publication/HekmatpourS05},
  cites = {0},
  citedby = {0},
  pages = {34-39},
  booktitle = {14th Asian Test Symposium (ATS 2005), 18-21 December 2005, Calcutta, India},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2481-8},
}