Tutorials (Sunday, Sept. 17)

  1. Introduction to the AMD Versal ACAP Adaptable Intelligent Engine and to its Programming Model
  2. Designing an Edge Inferencing Accelerator using HLS
  3. How to Use Model Checking to Analyze Circuits at the Transistor Level
  4. Neural Network and Autonomous Cyber-Physical Systems Formal Verification for Trustworthy AI and Safe Autonomy
  5. MARS: A framework for runtime monitoring, modeling, and management of realtime systems
  6. HW/SW Codesign for Brain-Inspired Hyperdimensional In-Memory Computing