COEN6551 - Formal Hardware Verification
General information
Operating system used | Linux | |
---|---|---|
Software required | Modelsim, Synopsys, Cadence |
Schedule
Type | Sections | Days | Start | End | Room | Instructor | ||
---|---|---|---|---|---|---|---|---|
Lec | AA | 1 | M-W---- | 10:15 | 13:00 | FG B070 |
* Denotes that the room may have changed and might no longer match the copy from the Registrar
Labs
Room | Calendar |
---|---|
H854 | Today This Week This Month |
Course Notes
http://users.encs.concordia.ca/~coen6551_1