Added new examples for functional verification