Research Projects that I am involved in:

• CAL BDD Package

• VIS : Verification Interacting With Synthesis

• HSIS