Practical Issues in Implementing Fast and Accurate SystemC-Constructed Virtual Platform Simulation Authors: Yu-Fu Yeh 1,2 and Chung-Yang (Ric) Huang 1.
Specification and Encoding of Transaction Interaction Properties Divjyot Sethi Yogesh Mahajan Sharad Malik Princeton University Hardware Verification Workshop.
1 Making Ganesh Gopalakrishnan With acknowledgements to his students and colleagues, especially Mike Kirby ! University of Utah.
Causality in Concurrent Systems F. Russo Vrije Universiteit Brussel B elgium S.Crafa Università di Padova Italy HaPoC 31 October 2013, Paris software,
Hybridthreads Compiler Fabrice Baijot Jim Stevens.
Panel: What Comes After C++ in System-Level Specification Edward Lee UC Berkeley Forum on Design Languages Workshop on System Specification & Design Languages.
Causality in Concurrent Systems
Specification and Encoding of Transaction Interaction Properties
Making