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.
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.
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.
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.
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.
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.
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.
M. Fujita, I. Ghosh & M. Prasad (2008):
Verification Techniques for System-Level Design.
Morgan Kaufmann Publishers Inc.,
San Francisco, CA, USA.
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.
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.
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.
STMicroelectronics (2007):
Model-Based Mapping to Parallel Architecture of 802.16a (WiMax)..
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.