Text this: Performance and fault modeling with VHDL /