Functional design verification by multi-level simulation.

Kit Tham, Rob Willoner, David Wimp

Browse the full DAC paper archive.