Welcome to our site! EDAboard.com is an international Electronics Discussion Forum focused on EDA software, circuits, schematics, books, theory, papers, asic, pld, 8051, DSP, Network, RF, Analog Design, PCB, Service Manuals... and a whole lot more! To participate you need to register. Registration is free. Click here to register now.
Whether it can be synthesized or not bases on the data volum of "a "and "b" ,the code style and your vendor lib. you can try to synthesize the code in a seperate module.
this is my opinion,hope it can help u a bit.