Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Accellera. SystemVerilog LRM. http://www.systemverilog.org/SystemVerilog3.1a.pdf.
N. Bombieri, A. Fedeli, and F. Fummi. On PSL Properties Re-use in SoC Design Flow Based on Transaction Level Modeling. In 6th International Workshop on Microprocessor Test and Verification (MTV), November 2005.
N. Bombieri, F. Fummi, and G. Pravadelli. On the Evaluation of Transactor-based Verification for Reusing TLM Assertions and Testbenches at RTL. In 9th International Conference on Design, Automation and Test in Europe (DATE), March 2006.
L. Cai and D. Gajski. Transaction Level Modeling: An Overview. In 1st International Conference on Hardware/Software Codesign and System Synthesis (CODES + ISSS), October 2003.
X. Chen, Y. Luo, H. Hsieh, L. Bhuyan, and F. Balarin. Assertion Based Verification and Analysis of Network Processor Architectures. Design Automation for Embedded Systems, 2004.
Wolfgang Ecker, Volkan Esen, Michael Hull, Thomas Steininger, and Michael Velten. Requirements and Concepts for Transaction Level Assertions. In 24th International Conference on Computer Design (ICCD), California, USA, October 2006.
Wolfgang Ecker, Volkan Esen, Michael Hull, Thomas Steininger, and Michael Velten. Specification Language for Transaction Level Assertions. In 11th IEEE International High Level Design Validation and Test Workshop (HLDVT), Monterey, California, Nov. 2006.
H. Foster, E. Marschner, and Y. Wolfsthal. IEEE 1850 PSL: The Next Generation. http://www.pslsugar.org/papers/ieee1850psl-thenext generation.pdf.
A. Habibi and S. Tahar. On the extension of SystemC by SystemVerilog Assertions. In Canadian Conference on Electrical & Computer Engineering, volume 4, pages 1869-1872, Niagara Falls, Ontario, Canada, May 2004.
A. Habibi and S. Tahar. Towards an Efficient Assertion Based Verification of SystemC Designs. In In Proc. of the High Level Design Validation and Test Workshop, pages 19-22, Sonoma Valley, California, USA, November 2004.
IEEE Computer Society. SystemVerilog LRM P1800. http://www.ieee.org.
Andrew Ireland. Towards Automatic Assertion Refinement for Separation Logic. In 21 st International Conference on Automated Software Engineering (ASE), September 2006.
B. Niemann and C. Haubelt. Assertion Based Verification of Transaction Level Models. In ITG/GI/GMM Workshop, volume 9, pages 232-236, Dresden, Germany, February 2006.
T. Peng and B. Baruah. Using Assertion-based Verification Classes with SystemC Verification Library. Synopsys Users Group, Boston, 2003.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 International Federation for Information Processin
About this paper
Cite this paper
Ecker, W., Esen, V., Steininger, T., Velten, M. (2007). Requirements and Concepts for Transaction Level Assertion Refinement. In: Rettberg, A., Zanella, M.C., Dömer, R., Gerstlauer, A., Rammig, F.J. (eds) Embedded System Design: Topics, Techniques and Trends. IFIP – The International Federation for Information Processing, vol 231. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-72258-0_1
Download citation
DOI: https://doi.org/10.1007/978-0-387-72258-0_1
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-72257-3
Online ISBN: 978-0-387-72258-0
eBook Packages: Computer ScienceComputer Science (R0)