Searching in f4pga/wrappers/tcl