DANM, short for Design Automation aNd Manipulation, is a tool written by Derek for use in synthesizable RTL design.