Conference Room 101-102
Technical Session
Sessions
- Session 3F (Jan 26 11:00-12:00) Quantum Circuit Optimization
- Session 4F (Jan 26 13:00-15:00) Bulletproof Chips: Power of Formal Verification
- Session 5F (Jan 26 15:20-17:20) Accelerated Validation: Emulation and Smart Benchmarks
- Session 7F (Jan 27 10:20-12:20) Hardware Trojan Localization, RTL Fuzzing, and Security Verification
- Session 8F (Jan 27 13:20-15:20) Future Computing: Architectures and Tools for DNN Accelerators, CIM, Neural-Hybrid Computing, Ising Machines, and Microfluidics
- Session 9F (Jan 27 15:40-17:40) Secure AI Acceleration, Cryptographic Hardware, Side-Channel Attacks, and Privacy
- Session 10F (Jan 28 10:20-12:20) Virtual Silicon: Advanced Simulation and Multi-Physics
- Session 11F (Jan 28 13:20-15:20) AI-Enabled Lithography Modeling and Mask Optimization
- Session 12F (Jan 28 15:40-17:40) Smart Testing: AI, Faults, and Chip Reliability