@misc{indiciae21f63172f680,
  title = {A Semi-Formal Verification Methodology for Efficient Configuration Coverage of Highly Configurable Digital Designs},
  author = {Aman Kumar and Sebastian Simon},
  year = {2024},
  url = {https://arxiv.org/abs/2405.01572},
  note = {Source identifier: 2405.01572}
}