BAT
Bit-level Analysis Tool, version 2

Release Notes