An universal hardware editor based on an algebraic model of the time-behaviour of digital circuits