Tools to manipulate digital netlists.