27 citations · 35 across the 6 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…