The papers in this volume present current research into formal methods for hardware design. The g...