Abstract is missing.
- Expediting Design Bug Discovery in Regressions of x86 Processors Using Machine LearningAhmed Wahba, Justin Hohnerlein, Farhan Rahman. 1-6 [doi]
- Open-Source Validation Suite for RISC-VMikhail M. Chupilko, Alexander Kamkin, Alexander Protsenko. 7-12 [doi]
- A Verification Framework of Neural Processing Unit for Super ResolutionJinSae Jung, Jaeun Park, Apurva Kumar. 13-17 [doi]
- Backside Security Assessment of Modern SoCsMir Tanjidur Rahman, Navid Asadizanjani. 18-24 [doi]
- On the Detection of Always-On Hardware Trojans Supported by a Pre-Silicon Verification MethodologyAnnachiara Ruospo, Ernesto Sánchez 0001. 25-30 [doi]
- Design Crawler: A Web Application for Digital Design Metadata AnalysisSherif Hosny, Amr Baher. 31-34 [doi]
- Smarter Disk Space Management for Silicon WorkflowsJigar Savla. 35-40 [doi]
- RamGen: Moving Memories from Physical to the Logical DomainJeff Scott, Jonathan Sadowsky, Jigar Savla. 41-44 [doi]
- Techniques for Debug of Low Power SoCsSankaran M. Menon, Ashish Gupta, Chinna Prudvi, Rolf Kühnis, Sukhbinder Singh Takhar, Spencer K. Millican, Eric Rentschler, Pandy Kalimuthu, Preeti Ranjan Panda, Priyadarsan Patra. 45-49 [doi]
- Hardware and Software Co-Verification from Security PerspectiveKejun Chen, Qingxu Deng, Yumin Hou, Yier Jin, Xiaolong Guo. 50-55 [doi]
- Multilayer Camouflaged Secure Boot for SoCsAli Shuja Siddiqui, Geraldine Shirley, Sam Reji Joseph, Yutian Gui, Jim Plusquellic, Marten van Dijk, Fareena Saqib. 56-61 [doi]
- Automated Test Picker for Complex Microprocessor Verification EnvironmentChetas Mapara, Jerrin Jose. 62-64 [doi]
- Case Study: SoC Performance Verification and Static Verification of RTL ParametersProkash Ghosh, Srivastava Rohit. 65-72 [doi]
- Design Space Exploration for Hotspot DetectionGaurav Rajavendra Reddy, Yiorgos Makris. 73-77 [doi]