I took it two semesters ago with Hilfinger and sadly didn’t have any Microvax in it. You might be thinking of 61C, which deals more with computer architecture.