Hemm asics is for mining not brute forcing Bitcoin accounts. Also most sat solvers already have fpga ports in addition into being able at least in theory shrinking the number of required computations.

And without help for solving the issues above, this will stay a nice post on Bitcointalk without any implementations