Assert-O: Context-based Assertion Optimization using LLMs
Jun 1, 2024·,
,·
0 min read
Samit Miftah
Amisha Srivastava
James Hyunmin Kim
Kanad Basu
Abstract
Assert-O presents a context-based assertion optimization methodology leveraging Large Language Models (LLMs) to automatically generate and optimize hardware assertions, improving verification efficiency and coverage in digital design workflows.
Type
Publication
In Great Lakes Symposium on VLSI (GLSVLSI 2024)
Authors
James Hyunmin Kim
(he/him)
Senior SoC Architect & Hardware Security Expert
Ph.D. in Electrical Engineering from KU Leuven (imec-COSIC), with 15+ years of expertise
in secure SoC architecture, hardware security, and cryptographic implementations.
Specialized in ARM/RISC-V security subsystems, side-channel countermeasures, and
post-quantum cryptography. 4 silicon tape-outs, CAVP-certified security IPs.