|
COEN6551: Formal Hardware Verification
Summer 2022-2023
|
|
| COEN6551: Formal Hardware Verification |
|---|
| Computer Lab Details: |
H854
|
|---|
| Computer Lab Calendar: |
|
|---|
| Department: | Electrical and Computer Engineering |
|---|
| Year: | 2022-2023 |
|---|
| Session: | Summer |
|---|
| Schedule : |
Class Schedule from Registrar
|
|---|
| Operating System Used: | Linux |
|---|
| Software Required: | Modelsim, Synopsys, Cadence |
|---|
| |
[ Display/Hide List of Software for Past Sessions ]
| Past Sessions Contain No Software Information |
|
| Courses Coordinator: | |
|---|
* Denotes that the room may have changed and
might no longer match the copy from the Registrar
|
|
|
