$display("*** Start testng squeeze switch operation ***");	// Cause an "broken switch" warnig on the
	$display("Testing squeeze switch disconnected warning.");
	// local empty Switch
	squeeze.disconnected;
	// Give the change time to propagate through the
	// re-sync logic
	@(negedge aclk);
	@(negedge aclk);  
	@(negedge aclk);	
	// Read the Status Register
	// Verify it contains 0x40
	msp430.read_dwarf_and_check(8'h1C, 8'h40);
	// Read the Fault Register
	// Verify it contains 0x00
	msp430.read_dwarf_and_check(8'h1D, 8'h00);	 
	// Read the Warning Register	 
	// Verify that it contains 0x00010000
	msp430.read_dwarf_and_check(8'h1E,8'b00000100);
	// By magic the "broken switch" repairs itself
	squeeze.opened;	
	// Give the change time to propagate through the
	// re-sync logic
	@(negedge aclk);
	@(negedge aclk);  
	@(negedge aclk); 	
	// Clear the warning register
	msp430.write_dwarf(8'h1E,8'b00001100);
	// Read the Status Register
	msp430.read_dwarf_and_check(8'h1C,8'h00);
	// Read the Fault Register
	// Verify it contains 0x00
	msp430.read_dwarf_and_check(8'h1D,8'h00);	 
	// Read the Warning Register	 
	// Verify that it contains 0x00
	msp430.read_dwarf_and_check(8'h1E,8'h00); 
	$display("Testing squeeze switch shorted warning.");
	// local empty Switch
	squeeze.shorted;
	// Give the change time to propagate through the
	// re-sync logic
	@(negedge aclk);
	@(negedge aclk);  
	@(negedge aclk);	
	// Read the Status Register
	msp430.read_dwarf_and_check(8'h1C, 8'h40);
	// Read the Fault Register
	msp430.read_dwarf_and_check(8'h1D, 8'h00);	 
	// Read the Warning Register	 
	msp430.read_dwarf_and_check(8'h1E,8'b00001000);
	// By magic the "broken switch" repairs itself
	squeeze.opened;	
	// Give the change time to propagate through the
	// re-sync logic
	@(negedge aclk);
	@(negedge aclk);  
	@(negedge aclk); 	
	// Clear the warning register
	msp430.write_dwarf(8'h1E,8'b00001100);
	// Read the Status Register
	msp430.read_dwarf_and_check(8'h1C,8'h00);
	// Read the Fault Register
	msp430.read_dwarf_and_check(8'h1D,8'h00);	 
	// Read the Warning Register	 
	msp430.read_dwarf_and_check(8'h1E,8'h00); 
	$display("Testing squeeze switch comparator fault warning.");
	// local empty Switch
	squeeze.fault;
	// Give the change time to propagate through the
	// re-sync logic
	@(negedge aclk);
	@(negedge aclk);  
	@(negedge aclk);	
	// Read the Status Register
	// Verify it contains 0x40
	msp430.read_dwarf_and_check(8'h1C, 8'h40);
	// Read the Fault Register
	msp430.read_dwarf_and_check(8'h1D, 8'h00);	 
	// Read the Warning Register	 
	msp430.read_dwarf_and_check(8'h1E,8'b00001100);
	// By magic the "broken switch" repairs itself
	squeeze.opened;	
	// Give the change time to propagate through the
	// re-sync logic
	@(negedge aclk);
	@(negedge aclk);  
	@(negedge aclk); 	
	// Clear the warning register
	msp430.write_dwarf(8'h1E,8'b00001100);
	// Read the Status Register
	msp430.read_dwarf_and_check(8'h1C,8'h00);
	// Read the Fault Registe
	msp430.read_dwarf_and_check(8'h1D,8'h00);	 
	// Read the Warning Register	 
	msp430.read_dwarf_and_check(8'h1E,8'h00); 
	$display("Test the assertion of the squeezeswitch.");
	squeeze.closed;
	@(negedge aclk);
	@(negedge aclk);  
	@(negedge aclk);	
	// Read the Status Register
	msp430.read_dwarf_and_check(8'h1C, 8'h80);
	// Read the Fault Register
	msp430.read_dwarf_and_check(8'h1D, 8'h06);	 
	// Read the Warning Register	 
	msp430.read_dwarf_and_check(8'h1E,8'h00);
	// By magic the "broken switch" repairs itself
	squeeze.opened;	
	@(negedge aclk);
	@(negedge aclk);  
	@(negedge aclk);	
	$display("*** Finish testing squeeze switch operations, # of errors = %d ***", msp430.errors);