Specifying circuit properties in PSL / Sugar
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.