DVCon 2010 Day3 interview with Matan Vax.mp4





The interactive transcript could not be loaded.



Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Uploaded on Feb 26, 2010

Interview of Cadence R&D Architect and language guru Matan Vax on his DVCon 2010 paper "Where OOP Falls Short of Hardware Verification Needs".

Note: below is the list of references that Matan refers to at the tail end of the video:
1. Bergeron, J., Cerny, E., Hunter, A., and Nightingale, A. 2005
Verification Methodology Manual for SystemVerilog. Springer-Verlag New York, Inc.

2. Bosch, J. 1998. Design Patterns as Language Constructs.
In Journal of Object-Oriented Programming, vol 11, 18-32.

3. Gamma, E., Helm, R., Johnson, R., and Vlissides, J. 1995
Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Longman Publishing Co., Inc.

4. Gil, J. and Lorenz, D. H., 1998,
Design patterns vs. language design. In Proceedings of the 11 th European Conference on Object-Oriented Programming, Lecture Notes in Computer Science, vol. 1241, 9-13.

5. Hollander, Y., Morley, M., and Noy, A. 2001.
The e language: A fresh separation of concerns. In Proceedings of the International Conference on Technology of Object-Oriented Languages and Systems (TOOLS 2001 Europe Conference, Zurich, Switzerland).

6. IEEE Standard for the Functional Verification Language
'e', IEEE Computer Society, IEEE, New York, NY, IEEE Std 1647—2006

7. IEEE Standard For System Verilog - Unified Hardware Design, Specification and Verification Language, IEEE Computer Society, IEEE, New York, NY, IEEE Std 1800—2005

8. Kay, A. C. 1993.
The early history of Smalltalk. In the Second ACM SIGPLAN Conference on History of
Programming Languages (Cambridge, Massachusetts, United States, April 20 - 23, 1993). HOPL-II. ACM, New York, NY, 69-95.

9. Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., and Griswold, W. G. 2001.
An Overview of AspectJ. In Proceedings of the 15th European Conference on Object-Oriented Programming (June 18 - 22, 2001). J. L. Knudsen, Ed. Lecture Notes In Computer Science, vol.
2072. Springer-Verlag, London, 327-353.

10. OVM web site. http://ovmworld.org

11. Piziali, A. 2007
Functional Verification Coverage Measurement and Analysis. 1st. Springer Publishing
Company, Incorporated.

12. Robinson, D. 2007,
Aspect-Oriented Programming with the e Verification Language: A Pragmatic Guide for
Testbench Developers. Elsevier Inc.

13. SystemC web site. http://www.systemc.org

14. Vax, M. 2007.
Conservative aspect-orientated programming with the e language. In Proceedings of the
6th international Conference on Aspect-Oriented Software Development (Vancouver, British Columbia, Canada, March 12 - 16, 2007). AOSD '07, vol. 208.

15. VMM web site. http://vmm-sv.org

16. Wile, B., Goss, J., and Roesner, W. 2005
Comprehensive Functional Verification: the Complete Industry Cycle (Systems on Silicon). Morgan Kaufmann Publishers Inc.


Autoplay When autoplay is enabled, a suggested video will automatically play next.

Up Next

to add this to Watch Later

Add to