• HDLtk (HFU, SGU, SD, OB): HDL Toolkit

• CSTgen (HFU, SD): Efficient Carry Save Tree Generation

• Sw Cap (HFU, OB): Switch Capacitor Filter Design Automation

• ARBgen (HFU, OB): Arbiter RTL Generation

• MsaD (HFU, SD, OB, SGU): FPGA Playing Mastermind using MsaD Algorithm

• Sudoku FPGA (SD, HFU, SGU): Sudoku Game Console with FPGA

• Chesmin (SGU): Checking Sequence based State Minimization

• Coverage Metrics for Verification (SGU)

• Minimization of Interacting State Machines (SGU)