VLSISyllabus
VLSI M.Tech Syllabus
Specifying circuit properties in PSL
Specifying circuit properties in PSL. Formal methods Mathematical and logical methods used in system development Aim to increase confidence in riktighet.