Return to Article Details Basic types of flip-flops: specification and automatic verification Download Download PDF