Return to Article Details BACKWARDS METHOD FOR FINDING DESIGN ERRORS IN HDL CODE Download Download PDF