Functional verification at Brian Bailey Consulting