References

1. S. Abdi & D. Gajski (2006): Verification of System Level Model Transformations. International Journal of Parallel Programming. 34(1), pp. 29–59, doi:10.1007/s10766-005-0001-y.
2. S. Al-Akhras (2012): On the Verification of a WiMax Design using Symbolic Simulation.. Concordia University. Available at http://spectrum.library.concordia.ca/974451/.
3. G. Al-Sammane (2005): Simulation Symbolique des Circuits Decrits au Niveau Algorithmique.. Universite Joseph Fourier Grenoble. Available at http://tel.archives-ouvertes.fr/docs/00/04/82/66/PDF/tel-00009776.pdf.
4. G. Al-Sammane, M. H. Zaki & S. Tahar (2007): A Symbolic Methodology for the Verification of Analog and Mixed Signal Designs. In: Proceedings of the Conference on Design, Automation and Test in Europe. EDA Consortium, San Jose, CA, USA, pp. 249–254, doi:10.1109/DATE.2007.364599.
5. Altera (2009): DSP Builder. Available at http://www.altera.com/products/software/ products/dsp/dsp-builder.html.
6. L. Bachmair & H. Ganzinger (1994): Rewrite-based Equational Theorem Proving with Selection and Simplification 4(3), pp. 217–247, doi:10.1093/logcom/4.3.217.
7. A. Chiang, H. Wei-Hua & B. Kapoor (2009): Validating Physical Access Layer of WiMAX using Systemverilog. In: Proceedings of the 2009 10th International Symposium on Quality of Electronic Design. IEEE Computer Society, Washington, DC, USA, pp. 356–359, doi:10.1109/ISQED.2009.4810320.
8. A. Deb, A. Jantsch & J. Öberg (2004): System Design for DSP Applications in Transaction Level Modeling Paradigm. In: Proceedings of the 41st Annual Design Automation Conference, DAC '04. ACM, New York, NY, USA, pp. 466–471, doi:10.1145/996566.996698.
9. C. Eklund, K. L. Stanwood, S. Wang & R. B. Marks (2006): IEEE Standard for Local and Metropolitan Area Networks Part 16: Air Interface for Fixed and Mobile Broadband Wireless Access Systems Amendment 2. IEEE Std 802.16e-2005 and IEEE Std 802.16-2004/Cor 1-2005 (Amendment and Corrigendum to IEEE Std 802.16-2004), pp. 1–822, doi:10.1109/IEEESTD.2006.99107.
10. F. Franek, C. G. Jennings & W. F. Smyth (2007): A Simple Fast Hybrid Pattern-Matching Algorithm. J. of Discrete Algorithms 5(4), pp. 682–695, doi:10.1016/j.jda.2006.11.004.
11. M. Fujita, I. Ghosh & M. Prasad (2008): Verification Techniques for System-Level Design. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA.
12. D. D. Gajski, J. Zhuand, R. Dömer, A. Gerstlauerand & S. Zhao (2000): SpecC: Specification Language and Methodology. Springer, Massachusetts: Kluwer Academic Publishers, doi:10.1145/266021.266037.
13. S. Liao, S. Tjiang & R. Gupta (1997): An Efficient Implementation of Reactivity for Modeling Hardware in the Scenic Design Environment. In: Proceedings of the 34th Annual Design Automation Conference. ACM, New York, NY, USA, pp. 70–75, doi:10.1145/266021.266037.
14. T. Matsumoto, H. Saito & M. Fujita (2005): An Equivalence Checking Method for C Descriptions Based on Symbolic Simulation with Textual Differences. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E88-A(12), pp. 3315–3323, doi:10.1093/ietfec/e88-a.12.3315.
15. STMicroelectronics (2007): Model-Based Mapping to Parallel Architecture of 802.16a (WiMax)..
16. STMicroelectronics (2007): Multiflex WiMax OFDMA Library 2007 - Code Package..
17. STMicroelectronics (2007): WiMAX Wireless-MAN OFDMA Functional Refinement..
18. Agilent Technologies (2009): Move Forward to What's Possible in WiMAX. Available at http://cp.literature.agilent.com/litweb/pdf/5989-5914EN.pdf.
19. S. Wolfram (1991): Mathematica: A System for Doing Mathematics by Computer, Second Edition. Addison-Wesley Longman Publishing Co. Available at http://library.wolfram.com/infocenter/Books/3617/.
20. M. H. Zaki, G. Al-Sammane & S. Tahar (2007): Formal Verification of Analog and Mixed Signal Designs in Mathematica. In: Computational Science. Springer-Verlag, Berlin, Heidelberg, pp. 263–267, doi:10.1007/978-3-540-72586-2_37.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org