9 citations · 12 across the 7 of their papers we have counts for
1 paper · 2 filters
Aruna Jayasena, Prabhat Mishra
Hardware-firmware co-verification is critical to design trustworthy systems. While formal methods can provide verification guarantees, due to the complexity of firmware and hardwar…