Verilator-based Fast Verification Methodology for BLE MAC Hardware.

Eunkyung Ham Yujin Jeon Jaeyun Lim Ji-Hoon Kim

Published in: ICEIC (2023)

Keyphrases

low cost
hardware designs
real time
hardware and software
model checking
asynchronous circuits
massively parallel
formal verification
verification method
computer systems
face verification
computing power
computing systems
formal methods
hardware implementation
image processing
information systems