Verifying a Self-Timed Divider.

Tarik Ono-Tesfaye Christoph Kern Mark R. Greenstreet

Published in: ASYNC (1998)

Keyphrases

low power
high bandwidth
model checking
databases
low cost
knowledge acquisition