&+; ® ™ ((the-Xilinx "Xilinx®") (the-Spartan "Spartan®") (the-logicBRICKS "logicBRICKS™"))