Deian Tabakov, Verifying SystemC Models

SystemC has become a de facto standard for modeling circuits, communication protocols, and systems-on-a-chip. However, there is no specification language that allows the designers to express the properties that the system is expected to satisfy. The focus of this work is to design a specification language based on PSL that allows the formulation of complex properties succinctly, while at the same time allowing the properties to be reused while the design is elaborated from a conceptual level to a pin-accurate, cycle-accurate level. The presentation will include a very gentle introduction to the driving forces behind verification and validation, and will provide a basic introduction to SystemC.