Accessibility Tools
Skip to Content
Accessibility
Text Size:
N/A
Breadcrumb
Concordia Home
Hardware Verification Group Home
Research
Frameworks
Applications
Related Links
Hardware Verification Group Home
>
Research
Frameworks
Approximate Computing
Formal Analysis of Probabilistic Systems
Formal Analysis of Optical Systems
Analog and Mixed Signal
SystemC TLM verification
Formal Verification of Cloud Systems
Formal Analysis of Signal Processing Systems
Security (
Watermarking
/
Protocols
)
More details
Tools and Algorithms
MDG
HOL
ASM
SystemC
More details
VIS
Verilog
SMV
SystemVerilog
Applications
PCI-X
AGP
LA-1
SCI-PHY
FPU
More details
IEEE 802.11a
SONET
ATM
PCI
Enclaves
Concordia University