I've been really getting into SML lately (more so than before; and now that I've switched my major back to Computer Science, I'll have <B>time</B> for such ...

Electronic systems keep getting more complex. Much of the complexity comes from ICs, which can undergo years of design and validation cycles before reaching the market. System design engineering teams ...