An EDA tool for generating automatically Testbenches used in VLSI S...