48 citations · 129 across the 10 of their papers we have counts for
1 paper · 1 filter
Roderick Bloem, Bettina Koenighofer, Robert Koenighofer +1
Scalability issues may prevent users from verifying critical properties of a complex hardware design. In this situation, we propose to synthesize a "safety shield" that is attached…