push interesting BDW gtkWave issue