Schnellstlogik, VHSL