- Dead squares are easy to detect.
- Hand coding deadlock detection is hard,
tedious, error prone, boring!
- We gave up very quickly and opted for -> BRUTE FORCE!
|
- Build a database with all the deadlock patterns in a certain
region.
- Large reduction in effective branching factor.
- Improvements are limited.
|
