Using the Liberty Simulation Environment version 1.0
Princeton University, June 7-9, 2004
Initial location: Computer Science Building Tea Room
Friend 007 after breakfast
Please note that the tutorial will run from 10am-6pm on Monday and Tuesday, and from 10am-12:30pm on Wednesday, but the exact details of the schedule below are subject to change.
Description
On June 7th and 8th (Monday and Tuesday), the Liberty Research Group will give a tutorial on using the Liberty Simulation Environment (LSE) with a tutorial review and evaluation on Wednesday, June 9th. LSE is a tool that facilitates the rapid construction of cycle-accurate high-level models of microprocessors and other digital hardware including embedded devices and interconnection networks.
To date, people have used LSE to rapidly construct several models. For example, a single student constructed an Itanium 2 model in only 11 weeks. This model predicts the performance of Itanium 2 to within 3% of actual hardware. This compares favorably to modeling methodologies that often require many person-years to construct a model accurate only to within 10%. Researchers at Rice University have built and validated their LSE model of a TIGON-2 network interface controller in approximately 12 weeks. These and other models have been used in papers published at DAC, MICRO, PLDI, and LCTES.
This tutorial will consist of an overview of the Liberty Simulation Environment, detailed examples of how to use the system, and guided hands-on exercises. You will be able to explore the concepts presented using LSE with immediate assistance if necessary.
If you are interested in attending this tutorial please indicate so in a short email to Jason Blome (jblome@princeton.edu) no later than Friday, June 4, 2004 so we can reserve your spot. We will ask that you perform some trivial exercises before Monday, June 7th - details will be provided to you upon receipt of your e-mail.
Additional information about LSE can be found at: http://liberty.princeton.edu/Software/LSE
Schedule
Day 1 (June 7, 2004)
- 10:00am-10:15am Breakfast (Bagels, cream cheese, and OJ)
- 10:15am-11:00am The Liberty Philosophy
- 11:00am-12:00pm An Introduction to the Liberty Structural Specification Language (LSS) (interactive)
- 12:00pm-1:30pm Lunch Break
- 1:30pm-2:30pm Control abstraction and control points in LSS
- 2:30pm-4:00pm Your first configuration (hands on specification construction)
- 4:00pm-4:15pm Break
- 4:15pm-5:00pm Advanced LSS features: Packages, Polymorphism, and User-points
- 5:00pm-6:00pm Using the LSE module library (interactive session)
Day 2 (June 8, 2004)
- 10:00am-10:30am Breakfast (Bagels, cream cheese, and OJ)
- 10:30am-12:00am Excercise review
- 12:00pm-1:30pm Lunch Break
- 1:30pm-2:30pm Instruction Set Emulation in LSE
- 2:30pm-4:00pm Using the IA64 Emulator (interactive session with excercises)
- 4:00pm-4:15pm Break
- 4:15pm-5:00pm Hands on review
- 5:00pm-6:00pm Help session for additional excercises
Day 3 (June 9, 2004)
- 10:00am-10:30am Breakfast (Bagels, cream cheese, and OJ)
- 10:30am-12:30pm LSE review and tutorial evaluation (mandatory if you attend the tutorial :) )