A High-level EDA Environment for the Automatic Insertion of HD-BIST Structures