BCA - Verifying Circuit Operation