Nicola Bombieri, Andrea Fedeli, Franco Fummi. On PSL Properties Re-use in SoC Design Flow Based on Transaction Level Modeling. In Magdy S. Abadir, Li-C. Wang, editors, Sixth International Workshop on Microprocessor Test and Verification (MTV 2005), Common Challenges and Solutions, 3-4 November 2005, Austin, Texas, USA. pages 127-132, IEEE Computer Society, 2005. [doi]
Abstract is missing.