👤 Iakov Dalinger

Formal Verification of a Processor with Memory Management Units. Hardware Design without Logical Bugs. Iakov Dalinger