The Community for Technology Leaders
RSS Icon
Subscribe
San Jose, CA, USA
March 21, 2005 to March 23, 2005
ISBN: 0-7695-2301-3
pp: 310-315
Anat Dahan , IBM Haifa Research Lab, Haifa Israel
Daniel Geist , IBM Haifa Research Lab, Haifa Israel
Leonid Gluhovsky , IBM Haifa Research Lab, Haifa Israel
Dmitry Pidan , IBM Haifa Research Lab, Haifa Israel
Gil Shapir , IBM Haifa Research Lab, Haifa Israel
Yaron Wolfsthal , IBM Haifa Research Lab, Haifa Israel
Lyes Benalycherif , ST Microelectronics, Grenoble, France
Romain Kamdem , ST Microelectronics, Grenoble, France
Younes Lahbib , ST Microelectronics, Grenoble, France
ABSTRACT
Assertion-Based Verification (ABV) using the PSL language is currently gaining acceptance as an essential method for functional verification of hardware. A basic technique to implement ABV is to embed temporal assertions in RTL code. This paper describes the use of a PSL-based ABV methodology in a C++-based system level modeling and simulation environment. We describe the considerations of porting a tool which translates PSL to VHDL/Verilog, to support C++, a language which was designed for software and does not have concurrent language constructs. The translation scheme is shown to be adaptable to all C-based environments. We exemplify the wide applicability of this scheme by detailing its successful deployment in a SystemC-based industrial System-on-Chip (SoC) project.
INDEX TERMS
null
CITATION
Anat Dahan, Daniel Geist, Leonid Gluhovsky, Dmitry Pidan, Gil Shapir, Yaron Wolfsthal, Lyes Benalycherif, Romain Kamdem, Younes Lahbib, "Combining System Level Modeling with Assertion Based Verification", ISQED, 2005, Proceedings. 6th International Symposium on Quality Electronic Design, Proceedings. 6th International Symposium on Quality Electronic Design 2005, pp. 310-315, doi:10.1109/ISQED.2005.32
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool