Research

 

Research

 

Frameworks

More details

res-mnf

Tools and Algorithms

  • MDG
  • HOL
  • ASM
  • SystemC

More details

  • VIS
  • Verilog
  • SMV
  • SystemVerilog
res-tna

Applications

  • PCI-X
  • AGP
  • LA-1
  • SCI-PHY
  • FPU

More details

  • IEEE 802.11a
  • SONET
  • ATM
  • PCI
  • Enclaves
res-app

 
 

Concordia University