250 likes | 459 Views
2. Outline. Introduction and motivationsSynchronization mechanism in MetropolisBlocking dependency analysis for deadlockCase studiesFuture Work. 3. System Level Design. RTL level design is no longer efficient for systems containing tens of millions of gatesSystem level design becomes necessary.
E N D
1. Simulation Based Deadlock Analysis for System Level Designs Xi Chen, Harry Hsieh University of California, Riverside Abhijit Davare, Alberto Sangiovanni-Vincentelli University of California, Berkeley Yosinori Watanabe Cadence Berkeley Laboratories