Embedded-System Design Plays Catch-Up. - Simon Napper (Computer, 1998)

Equivalence Checking a 256MB SDRAM. - Simon Napper; Dian Yang (MTDT, 2001)