You are about to access our book library "IEEE International High-Level Design, Validation, and Test Workshop: 8-10 November 2000 Berkeley, California full version" .