 | DVCon 2010 Day3 interview with Matan Vax.mp4
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, DH, 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, AC 1993. The early history of Smalltalk. In the Second ACM SIGPLAN Conference on ...
2010年02月27日再生回数 795
|
