Proc. 5th Int. Workshop on Designing Correct Circuits, a satellite event of ETAPS 2004