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

Class Schedule from Registrar

Labs

Room Calendar
H854 Today   This Week   This Month

Course Notes

http://users.encs.concordia.ca/~coen6551_1